Francesco Pacenza

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 22

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL (2024)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. PADL (2024)
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
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law 32 (2) (2024)
Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Efficient compliance checking of RDF data. J. Log. Comput. 33 (8) (2023)
Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). PADL (2023)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. CoRR (2023)
Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games. KR (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) (2023)
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring. Big Data Cogn. Comput. 7 (3) (2023)
Francesco Pacenza, Jessica Zangari
Extending Answer Set Programming with Rational Numbers. CoRR (2023)
Denise Angilica, Giovambattista Ianni, Francesco Pacenza
Declarative AI design in Unity using Answer Set Programming. CoG (2022)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. PPDP (2022)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Incremental maintenance of overgrounded logic programs with tailored simplifications. Theory Pract. Log. Program. 20 (5) (2020)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Incremental maintenance of overgrounded logic programs with tailored simplifications. CoRR (2020)
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
An Infrastructure for Multi-shot Reasoning with Incremental Grounding. CILC (2019)
Francesco Pacenza
Reasoning in Highly Reactive Environments. ICLP Technical Communications (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. Theory Pract. Log. Program. 19 (5-6) (2019)
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Incremental Answer Set Programming with Overgrounding. CoRR (2019)
Denise Angilica, Giovambattista Ianni, Francesco Pacenza
Tight Integration of Rule-Based Tools in Game Development. AI*IA (2019)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach. AI*IA (2018)
Francesco Pacenza
Reasoning in Highly Reactive Environments. DC@AI*IA (2018)
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Integrating Rule-Based AI Tools into Mainstream Game Development. RuleML+RR (2018)