Francesco Pacenza

According to our database, Francesco Pacenza authored at least 18 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.

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

Artif. Intell. Law, June, 2024

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 2024

Rethinking Answer Set Programming Templates.

Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 2024

2023

Efficient compliance checking of RDF data.

Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa

J. Log. Comput., December, 2023

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.

Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari

Algorithms, March, 2023

Extending Answer Set Programming with Rational Numbers.

Francesco Pacenza, Jessica Zangari

CoRR, 2023

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.

Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina

Big Data Cogn. Comput., 2023

Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).

Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Proceedings of the Practical Aspects of Declarative Languages, 2023

From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games.

Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Declarative AI design in Unity using Answer Set Programming.

Denise Angilica, Giovambattista Ianni, Francesco Pacenza

Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022

2020

Incremental maintenance of overgrounded logic programs with tailored simplifications.

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Theory Pract. Log. Program., 2020

2019

Incremental Answer Set Programming with Overgrounding.

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Theory Pract. Log. Program., 2019

Reasoning in Highly Reactive Environments.

Francesco Pacenza

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

An Infrastructure for Multi-shot Reasoning with Incremental Grounding.

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Tight Integration of Rule-Based Tools in Game Development.

Denise Angilica, Giovambattista Ianni, Francesco Pacenza

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Integrating Rule-Based AI Tools into Mainstream Game Development.

Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.

Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018