VELTRI, Pierfrancesco
VELTRI, Pierfrancesco
Dipartimento di Matematica e Informatica
A REST-based development framework for ASP: Tools and application
2018-01-01 Catalano, Gelsomina; Laboccetta, Giovanni; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications
2022-01-01 Amendola, G.; Greco, G.; Veltri, P.
Enhancing DLV for Large-Scale Reasoning
2019-01-01 Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Enhancing Existential Rules by Closed-World Variables
2018-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Enhancing Magic Sets with an Application to Ontological Reasoning
2019-01-01 Alviano, M.; Leone, N.; Veltri, P.; Zangari, J.
Fast query answering over existential rules
2019-01-01 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
First Steps towards Reasoning on Big Data with DLV
2018-01-01 Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Large Scale DLV: Preliminary Results
2019-01-01 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Large-scale reasoning on expressive horn ontologies
2019-01-01 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Modeling and Reasoning about NTU Games via Answer Set Programming
2016-01-01 Amendola, G; Greco, G; Leone, N; Veltri, Pierfrancesco
Querying large expressive horn ontologies
2019-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Reasoning on anonymity in Datalog+/-
2017-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Reasoning over Ontologies with DLV
2020-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
The AI system DLV: Ontologies, reasoning, and more
2018-01-01 Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J.
The ASP System DLV2
2017-01-01 Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J.
The ASP System DLV: Advancements and Applications
2018-01-01 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A REST-based development framework for ASP: Tools and application | 1-gen-2018 | Catalano, Gelsomina; Laboccetta, Giovanni; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco | |
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications | 1-gen-2022 | Amendola, G.; Greco, G.; Veltri, P. | |
Enhancing DLV for Large-Scale Reasoning | 1-gen-2019 | Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Enhancing Existential Rules by Closed-World Variables | 1-gen-2018 | Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco | |
Enhancing Magic Sets with an Application to Ontological Reasoning | 1-gen-2019 | Alviano, M.; Leone, N.; Veltri, P.; Zangari, J. | |
Fast query answering over existential rules | 1-gen-2019 | Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco | |
First Steps towards Reasoning on Big Data with DLV | 1-gen-2018 | Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
Large Scale DLV: Preliminary Results | 1-gen-2019 | Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
Large-scale reasoning on expressive horn ontologies | 1-gen-2019 | Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Modeling and Reasoning about NTU Games via Answer Set Programming | 1-gen-2016 | Amendola, G; Greco, G; Leone, N; Veltri, Pierfrancesco | |
Querying large expressive horn ontologies | 1-gen-2019 | Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Reasoning on anonymity in Datalog+/- | 1-gen-2017 | Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco | |
Reasoning over Ontologies with DLV | 1-gen-2020 | Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
The AI system DLV: Ontologies, reasoning, and more | 1-gen-2018 | Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J. | |
The ASP System DLV2 | 1-gen-2017 | Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J. | |
The ASP System DLV: Advancements and Applications | 1-gen-2018 | Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica |