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 | 134 | 2017 |
I-DLV: The new intelligent grounder of DLV F Calimeri, D Fuscą, S Perri, J Zangari Intelligenza Artificiale 11 (1), 5-20, 2017 | 97 | 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 | 60 | 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 | 31 | 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 | 23 | 2016 |
Integrating rule-based AI tools into mainstream game development F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018 | 21 | 2018 |
Integrating rule-based AI tools into mainstream game development F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018 | 21 | 2018 |
I-DLV-sr: A Stream Reasoning System based on I-DLV F Calimeri, M Manna, E Mastria, MC Morelli, S Perri, J Zangari Theory and Practice of Logic Programming 21 (5), 610-628, 2021 | 19 | 2021 |
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 | 19 | 2019 |
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies L Robaldo, S Batsakis, R Calegari, F Calimeri, M Fujita, G Governatori, ... Artificial Intelligence and Law 32 (2), 505-555, 2024 | 16 | 2024 |
Incremental maintenance of overgrounded logic programs with tailored simplifications G Ianni, F Pacenza, J Zangari Theory and Practice of Logic Programming 20 (5), 719-734, 2020 | 16 | 2020 |
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 | 16 | 2019 |
External computations and interoperability in the new DLV grounder F Calimeri, D Fuscą, S Perri, J Zangari AI* IA 2017 Advances in Artificial Intelligence: XVIth International …, 2017 | 15 | 2017 |
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 | 14 | 2020 |
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, 29-65, 2019 | 13 | 2019 |
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 |
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari Proceedings of the 24th International Symposium on Principles and Practice …, 2022 | 11 | 2022 |
Efficient compliance checking of RDF data L Robaldo, F Pacenza, J Zangari, R Calegari, F Calimeri, G Siragusa Journal of Logic and Computation, exad034, 2023 | 10 | 2023 |
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 | 8 | 2019 |
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries A Fiorentino, J Zangari, M Manna Theory and Practice of Logic Programming 20 (6), 958-973, 2020 | 7 | 2020 |