Francesco Pacenza

Orcid: 0000-0001-6632-3492

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law, June, 2024

Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
Proceedings of the Practical Aspects of Declarative Languages, 2024

Rethinking Answer Set Programming Templates.
Proceedings of the Practical Aspects of Declarative Languages, 2024

2023
Efficient compliance checking of RDF data.
J. Log. Comput., December, 2023

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms, March, 2023

Extending Answer Set Programming with Rational Numbers.
CoRR, 2023

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.
Big Data Cogn. Comput., 2023

Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper).
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.
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.
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.
Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022

2020
Incremental maintenance of overgrounded logic programs with tailored simplifications.
Theory Pract. Log. Program., 2020

2019
Incremental Answer Set Programming with Overgrounding.
Theory Pract. Log. Program., 2019

Reasoning in Highly Reactive Environments.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

An Infrastructure for Multi-shot Reasoning with Incremental Grounding.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Tight Integration of Rule-Based Tools in Game Development.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018
Integrating Rule-Based AI Tools into Mainstream Game Development.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018


  Loading...