The ASP System DLV2 M Alviano, F Calimeri, C Dodaro, D Fuscą, N Leone, S Perri, F Ricca, ... International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017 | 84 | 2017 |
I-DLV: The new intelligent grounder of DLV F Calimeri, D Fuscą, S Perri, J Zangari Intelligenza Artificiale 11 (1), 5-20, 2017 | 79 | 2017 |
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 (2-3), 177-179, 2018 | 34 | 2018 |
Optimizing answer set computation via heuristic-based decomposition F Calimeri, S Perri, J Zangari Theory and Practice of Logic Programming 19 (4), 603-628, 2019 | 23 | 2019 |
A framework for easing the development of applications embedding answer set programming D Fuscą, S Germano, J Zangari, M Anastasio, F Calimeri, S Perri Proceedings of the 18th International Symposium on Principles and Practice …, 2016 | 21 | 2016 |
I-DLV+ MS: Preliminary Report on an Automatic ASP Solver Selector. D Fuscą, F Calimeri, J Zangari, S Perri RCRA@ AI* IA, 26-32, 2017 | 12 | 2017 |
Enhancing DLV for Large-Scale Reasoning N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ... International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 9 | 2019 |
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework F Calimeri, D Fuscą, S Germano, S Perri, J Zangari New Generation Computing 37 (1), 29-65, 2019 | 9 | 2019 |
Integrating rule-based AI tools into mainstream game development F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari International Joint Conference on Rules and Reasoning, 310-317, 2018 | 9 | 2018 |
Integrating Rule-Based AI Tools into Mainstream Game Development F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari International Joint Conference on Rules and Reasoning, 310-317, 2018 | 9 | 2018 |
External Computations and Interoperability in the New DLV Grounder F Calimeri, D Fuscą, S Perri, J Zangari Conference of the Italian Association for Artificial Intelligence, 172-185, 2017 | 7 | 2017 |
Embedding ASP in mobile systems: discussion and preliminary implementations F Calimeri, D Fuscą, S Germano, S Perri, J Zangari Proceedings of the Eighth Workshop on Answer Set Programming and Other …, 2015 | 7 | 2015 |
Efficiently Coupling the I-DLV Grounder with ASP Solvers F CALIMERI, C DODARO, D FUSCĄ, S PERRI, J ZANGARI Theory and Practice of Logic Programming 20 (2), 205-224, 2020 | 6 | 2020 |
Large-scale reasoning on expressive horn ontologies C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ... 3rd International Workshop on the Resurgence of Datalog in Academia and …, 2019 | 6 | 2019 |
Incremental Answer Set Programming with Overgrounding F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari Theory and Practice of Logic Programming 19 (5-6), 957-973, 2019 | 5 | 2019 |
The eternal battle between determinism and nondeterminism: preliminary studies in the sudoku domain F Calimeri, G Ianni, S Perri, J Zangari 20th RCRA International Workshop on Experimental Evaluation of Algorithms …, 2013 | 5 | 2013 |
A Machine Learning guided Rewriting Approach for ASP Logic Programs E Mastria, J Zangari, S Perri, F Calimeri arXiv preprint arXiv:2009.10252, 2020 | 4 | 2020 |
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 | 4 | 2019 |
Answer Set Programming and Declarative Problem Solving in Game AIs. D Fuscą, S Germano, J Zangari, F Calimeri, S Perri PAI@ AI* IA, 81-88, 2013 | 4 | 2013 |
The ASP instantiator I-DLV F Calimeri, D Fuscą, S Perri, J Zangari Proceedings of the First International Workshop on Practical Aspects of …, 2017 | 3 | 2017 |