Publications
External Resources
Journals
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina: EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring. Big Data and Cognitive Computing 7 (3), 135 (2023)
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli,Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis,and Jessica Zangari: Compliance checking on first-order knowledge with conflicting and compensatory norms - a comparison among currently available technologies. Artificial Intelligence and Law, 1-51 (2023).
Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa. Journal of Logic and Computation, exad034 (2023).
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari: ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16(3): 159 (2023)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari: I-DLV-sr: A Stream Reasoning System based on I-DLV. Theory Pract. Log. Program. 21(5): 610-628, 2021.
Ianni G., Pacenza F., Zangari J. Incremental maintenance of overgrounded logic programs with tailored simplications. Theory and Practice of Logic Programming 20(5): 719-734, 2020.
Fiorentino A., Zangari J., Manna M. DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. Theory and Practice of Logic Programming 20(6): 958-973, 2020.
Calimeri F., Dodaro C., Fuscà D., Perri S., Zangari J. Efficiently Coupling the I-DLV Grounder with ASP Solvers. Theory and Practice of Logic Programming, 20(2): 205-224, 2020.
Alviano M., Leone N., Veltri P., Zangari J. Enhancing Magic Sets with an Application to Ontological Reasoning. Theory and Practice of Logic Programming 19(5-6): 654-670, 2019.
Calimeri F., Ianni G., Pacenza F., Perri S., Zangari J. Incremental Answer Set Programming with Overgrounding. Theory and Practice of Logic Programming 19(5-6): 957-973, 2019.
Fiorentino A., Leone N., Manna M., Perri S., Zangari J. Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Theory and Practice of Logic Programming 19(5-6): 1073-1089, 2019.
Calimeri F., Perri S., Zangari J. Optimizing Answer Set Computation via Heuristic-Based Decomposition. Theory and Practice of Logic Programming 19(4): 603-628, 2019.
Calimeri F., Fuscà D., Germano S., Perri S., Zangari J. Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. New Generation Computing, 37(1): 29-65, 2019.
Adrian W. T., Alviano M., Calimeri F., Cuteri B., Dodaro C., Faber W., Fuscà D., Leone N., Manna M., Perri S., Ricca F., Veltri P., Zangari J. The ASP System DLV: Advancements and Applications.Kunstliche Intelligenz 32(2-3): 177-179, 2018.
Calimeri F., Fuscà D., Perri S., Zangari J. I-DLV: The New Intelligent Grounder of DLV. Intelligenza Articiale, the international journal of the AI*IA, 11(1):5-20, 2017.
Conferences
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari: Rethinking Answer Set Programming Templates. PADL 2024.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari: Forgetting Techniques for Optimizing ASP-based Stream Reasoning, PADL 2024.
Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari: Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). PADL 2023: 96-106
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari: The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities. RuleML+RR 2022: 38-53
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari: ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. PPDP 2022: 2:1-2:9
Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi: Optimized 3D path planner for steerable catheters with deductive reasoning. ICRA 2021: 1466-1472
Mastria E., Zangari J., Perri S., Calimeri F. A Machine Learning guided Rewriting Approach for ASP Logic Programs. ICLP Technical Communications 2020: 261-267
Leone N., Allocca C., Alviano M., Calimeri F., Civili C., Costabile R., Fiorentino A., Fuscà D., Germano S., Laboccetta G., Cuteri B., Manna M., Perri S., Reale K., Ricca F., Veltri P., Zangari J. Enhancing DLV for Large-Scale Reasoning. Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, volume 11481 of Lecture Notes in Computer Science (pp. 312-325), Springer, 2019.
Allocca C., Costabile R., Fiorentino A., Perri S., Zangari J. An ASP-based Approach for Optimizing DLV Evaluation. Logics in Articial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, volume 11468 of Lecture Notes in Computer Science (pp. 453-461), Springer, 2019.
Calimeri F., Germano S., Ianni G., Pacenza F., Perri S., Zangari J. Integrating Rule-Based AI Tools into Mainstream Game Development. Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science (pp. 310-317), Springer, 2018.
Alviano M., Calimeri F., Dodaro C., Fuscà D., Leone N., Perri S., Ricca F., Veltri P., Zangari J. The ASP System DLV2 Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, volume 8148 of Lecture Notes in Computer Science (pp. 215-221), Springer, 2017.
Calimeri F., Fuscà D., Perri S., Zangari J. Optimizing Answer Set Computation via Heuristic-Based Decomposition. Proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), Los Angeles, CA, USA, 2018, volume 10702 of Lecture Notes in Computer Science (pp. 135-151), Springer, 2018.
Calimeri F., Fuscà D., Perri S., Zangari J. I-DLV: The New Intelligent Grounder of DLV. AI*IA 2016 Advances in Articial Intelligence (pp. 192-207), volume 10037 of Lecture Notes in Computer Science, Springer, 2016
Calimeri F., Fuscà D., Germano S., Perri S., Zangari J. Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. AI* IA 2016 Advances in Articial Intelligence, Proceedings, volume 10037 of Lecture Notes in Computer Science (pp. 223-236), Springer, 2016.
Calimeri F., Fuscà D., Perri S., Zangari J. External Computations and Interoperability in the new DLV Grounder. AI*IA 2017 Advances in Articial Intelligence: XVIth International Conference of the Italian Association for Articial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings, volume 10640 of Lecture Notes in Computer Science (pp. 172-185), Springer, 2017.
Fuscà D., Germano S., Zangari J., Anastasio M., Calimeri F., Perri S. A Framework for Easing the Development of Applications Embedding Answer Set Programming. Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, (pp. 38-49), ACM Proceedings, 2016.
Workshops and Others
Pacenza F., Zangari J., Extending Answer Set Programming with Rational Numbers, arXiv preprint https://arxiv.org/abs/2312.04249, 2023
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari: Rethinking Answer Set Programming Templates, arXiv preprint, https://arxiv.org/pdf/2307.06382.pdf, 2023
Calimeri F., Fuscà D., Germano S., Perri S., Zangari J. Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. AI* IA 2016 Advances in Articial Intelligence, Proceedings, volume 10037 of Lecture Notes in Computer Science (pp. 223-236), Springer, 2016.
Calimeri F., Fuscà D., Perri S., Zangari J. External Computations and Interoperability in the new DLV Grounder. AI*IA 2017 Advances in Articial Intelligence: XVIth International Conference of the Italian Association for Articial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings, volume 10640 of Lecture Notes in Computer Science (pp. 172-185), Springer, 2017.
Fuscà D., Germano S., Zangari J., Anastasio M., Calimeri F., Perri S. A Framework for Easing the Development of Applications Embedding Answer Set Programming. Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, (pp. 38-49), ACM Proceedings, 2016.
Zangari J., Calimeri F., Perri S. Optimizing Answer Set Computation via Heuristic-Based Decomposition. Proceedings 35th International Conference on Logic Programming (Technical Communications), Las Cruces, NM, USA, September 20-25, 2019, volume 306 of Electronic Proceedings in Theoretical Computer Science (pp. 330-333), 2019
Allocca C., Alviano M., Calimeri F., Civili C., Costabile R., Cuteri B., Fiorentino A., Fuscà D., Germano S., Laboccetta G., Leone N., Manna M., Perri S., Reale K., Ricca F., Veltri P., Zangari J. Enhancing DLV for Large-Scale Reasoning. Datalog 2.2019 - 3rd InternationalWorkshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. volume 2368 of CEUR Workshop Proceedings (pp. 10-21), CEUR-WS.org, 2019
Allocca C., Calimeri F., Costabile R., Fiorentino A., Leone N., Manna M., Perri S., Zangari J. An ASP-based Approach for Optimizing DLV Evaluation. Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. volume 2396 of CEUR Workshop Proceedings, CEUR-WS.org, 2019
Ianni G., Pacenza F., Zangari J. An Infrastructure for Multi-shot Reasoning with Incremental Grounding. Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. volume 2396 of CEUR Workshop Proceedings (pp. 269-278), CEUR-WS.org, 2019
Leone N., Allocca C., Alviano M., Calimeri F., Civili C., Costabile R., Cuteri B., Fiorentino A., Fuscà D., Germano S., Laboccetta G., Manna M., Perri S., Reale K., Ricca F., Veltri P., Zangari J. Large Scale DLV: Preliminary Results. Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019, volume 2396 of CEUR Workshop Proceedings, CEUR-WS.org, 2019
Allocca C., Alviano M., Calimeri F., Civili C., Costabile R., Cuteri B., Fiorentino A., Fuscà D., Germano S., Laboccetta G., Leone N., Manna M., Perri S., Reale K., Ricca F., Veltri P., Zangari J. Enhancing DLV for Large-Scale Reasoning. Proceedings of the 27th Italian Symposium on Advanced Database Systems, Castiglione della Pescaia (Grosseto), Italy, June 16-19, 2019. volume 2400 of CEUR Workshop Proceedings, CEUR-WS.org, 2019
Calimeri F., Perri S., Terracina G., Zangari J.: How Modern Deductive Database Systems Can Enhance Data Integration. Proceedings of the 26th Italian Symposium on Advanced Database Systems, Castellaneta Marina (Taranto), Italy, June 24-27, 2018. volume 2018 of CEUR Workshop Proceedings, CEUR-WS.org, 2018
Leone N., Perri S., Ricca F., Veltri P., Zangari J.: First Steps towards Reasoning on Big Data with DLV. Proceedings of the 26th Italian Symposium on Advanced Database Systems, Castellaneta Marina (Taranto), Italy, June 24-27, 2018. volume 2018 of CEUR Workshop Proceedings, CEUR-WS.org, 2018
Calimeri F., Fuscà D., Perri S., Zangari J. I-DLV: The New Intelligent Grounder of DLV. Proceedings of the 23th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2016.
Fuscà D., Germano S., Zangari J., Anastasio M., Calimeri F., Perri S. A Framework for Easing the Development of Applications Embedding Answer Set Programming. Proceedings of the 23th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2016.
Calimeri F., Fuscà D., Perri S., Zangari J. The new ASP instantiator I-DLV. Proceedings of the First International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017), 2017.
Calimeri F., Fuscà D., Ianni G., Melissari G., Perri S., Zangari J. The new DLV Grounder: External Computations, Interoperability and Customizability. Proceedings of the Fourth Workshop International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017), 2017.
Calimeri F., Fuscà D., Perri S., Zangari J. I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2017.
Zangari J. Design and Implementation of the I-DLV Grounder: Optimizations, Customizability and Interoperability. Proceedings of the Doctoral Consortium of AI*IA 2017 16th International Conference of the Italian Association for Articial Intelligence, 2017.
Calimeri F., Fuscà D., Germano S., Perri S., Zangari J. Embedding ASP in mobile systems: discussion and preliminary implementations. Proceedings of the 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015. Cork, Irlanda, 2015.
Fuscà D., Germano S., Zangari J., Calimeri F., Perri S. Answer Set Programming and Declarative Problem Solving in Game AIs. Proceedings of Popularize Articial Intelligence (PAI@AI*IA), XIII Conference of the Italian Association for Articial Intelligence, pp. 81-88, Torino, Italia, Dicembre 5, 2013.
Calimeri F. , Ianni G. , Perri S. , Zangari J. The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain. RCRA 2013, Proceedings of the 20th InternationalWorkshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, Roma, Italia, 2013.