| The asp system dlv2 M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ... Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 132 | 2017 |
| Efficiently computable Datalog∃ programs N Leone, M Manna, G Terracina, P Veltri Thirteenth international conference on the principles of knowledge …, 2012 | 97 | 2012 |
| The third answer set programming competition: Preliminary report of the system competition track F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ... Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 86 | 2011 |
| The ASP system DLV: advancements and applications WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ... KI-Künstliche Intelligenz 32, 177-179, 2018 | 59 | 2018 |
| Clinical information systems and artificial intelligence: recent research trends C Combi, G Pozzi Yearbook of medical informatics 28 (01), 083-094, 2019 | 49 | 2019 |
| Modeling and reasoning about NTU games via answer set programming G Amendola, G Greco, N Leone, P Veltri Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016 | 29 | 2016 |
| An integrated graphic tool for developing and testing DLV programs S Perri, F Ricca, G Terracina, D Cianni, P Veltri Proceedings of the Workshop on Software Engineering for Answer Set …, 2007 | 25 | 2007 |
| Fast query answering over existential rules N Leone, M Manna, G Terracina, P Veltri ACM Transactions on Computational Logic (ToCL) 20 (2), 1-48, 2019 | 24 | 2019 |
| Magic-Sets for Datalog with Existential Quantifiers M Alviano, N Leone, M Manna, G Terracina, P Veltri Datalog in Academia and Industry: Second International Workshop, Datalog 2.0 …, 2012 | 24 | 2012 |
| A visual tracer for DLV F Calimeri, N Leone, F Ricca, P Veltri Answer Set Programming, 79, 2009 | 21 | 2009 |
| Enhancing DLV for large-scale reasoning N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ... Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019 | 18 | 2019 |
| Enhancing Existential Rules by Closed-World Variables. G Amendola, N Leone, M Manna, P Veltri IJCAI, 1676-1682, 2018 | 15 | 2018 |
| Large-scale reasoning on expressive horn ontologies C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ... CEUR WORKSHOP PROCEEDINGS 2368, 10-21, 2019 | 7 | 2019 |
| Enhancing magic sets with an application to ontological reasoning M Alviano, N Leone, P Veltri, J Zangari Theory and Practice of Logic Programming 19 (5-6), 654-670, 2019 | 6 | 2019 |
| The Astrophsical Journal Letters 725 S Perri, V Carbone, P Veltri L52 1, 2010 | 6 | 2010 |
| DLV MC : Enhanced Model Checking in DLV M Maratea, F Ricca, P Veltri Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010 | 6 | 2010 |
| Reasoning on anonymity in datalog+/- G Amendola, N Leone, M Manna, P Veltri Technical Communications of the 33rd International Conference on Logic …, 2018 | 3 | 2018 |
| A rest-based development framework for ASP: tools and application G Catalano, G Laboccetta, K Reale, F Ricca, P Veltri International Symposium on Practical Aspects of Declarative Languages, 161-169, 2017 | 3 | 2017 |
| Answers set programs for non-transferable utility games: Expressiveness, complexity and applications G Amendola, G Greco, P Veltri Artificial Intelligence 302, 103606, 2022 | 1 | 2022 |
| Large scale DLV: preliminary results N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ... CEUR WORKSHOP PROCEEDINGS 2396, 2019 | 1 | 2019 |
