Francesco Pacenza

26 papers A* 1B 1C 5Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 J jnl
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 J jnl
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
2024 C conf
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
PADL
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 C conf
Rethinking Answer Set Programming Templates.
PADL
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2024 — ed.
Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024.
ICLP Workshops
Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
2023 J jnl
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
2023 J jnl
Efficient compliance checking of RDF data.
J. Log. Comput.
Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
2023 J jnl
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.
Big Data Cogn. Comput.
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
2023 J jnl
Extending Answer Set Programming with Rational Numbers.
CoRR
Francesco Pacenza, Jessica Zangari
2023 A* conf
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games.
KR
Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza
2023 C conf
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).
PADL
Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2023 — ed.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.
ICLP Workshops
Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner
2023 J jnl
Rethinking Answer Set Programming Templates.
CoRR
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2022 C conf
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
PPDP
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2022 C conf
Declarative AI design in Unity using Answer Set Programming.
CoG
Denise Angilica, Giovambattista Ianni, Francesco Pacenza
2020 J jnl
Incremental maintenance of overgrounded logic programs with tailored simplifications.
CoRR
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2020 J jnl
Incremental maintenance of overgrounded logic programs with tailored simplifications.
Theory Pract. Log. Program.
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2019 — conf
An Infrastructure for Multi-shot Reasoning with Incremental Grounding.
CILC
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 — conf
Reasoning in Highly Reactive Environments.
ICLP Technical Communications
Francesco Pacenza
2019 — conf
Tight Integration of Rule-Based Tools in Game Development.
AI*IA
Denise Angilica, Giovambattista Ianni, Francesco Pacenza
2018 — conf
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.
AI*IA
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci
2018 B conf
Integrating Rule-Based AI Tools into Mainstream Game Development.
RuleML+RR
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2018 — conf
Reasoning in Highly Reactive Environments.
DC@AI*IA
Francesco Pacenza