Follow
Francesco Pacenza
Title
Cited by
Cited by
Year
Integrating rule-based AI tools into mainstream game development
F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari
International Joint Conference on Rules and Reasoning, 310-317, 2018
172018
Incremental answer set programming with overgrounding
F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari
Theory and Practice of Logic Programming 19 (5-6), 957-973, 2019
152019
Incremental maintenance of overgrounded logic programs with tailored simplifications
G Ianni, F Pacenza, J Zangari
Theory and Practice of Logic Programming 20 (5), 719-734, 2020
132020
Declarative AI design in unity using answer set programming
D Angilica, G Ianni, F Pacenza
2022 IEEE Conference on Games (CoG), 417-424, 2022
92022
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
L Robaldo, S Batsakis, R Calegari, F Calimeri, M Fujita, G Governatori, ...
Artificial Intelligence and Law, 1-51, 2023
82023
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari
Proceedings of the 24th International Symposium on Principles and Practice …, 2022
82022
Answer set programming for declarative content specification: A scalable partitioning-based approach
F Calimeri, S Germano, G Ianni, F Pacenza, A Pezzimenti, A Tucci
International Conference of the Italian Association for Artificial …, 2018
72018
Tight integration of rule-based tools in game development
D Angilica, G Ianni, F Pacenza
AI* IA 2019–Advances in Artificial Intelligence: XVIIIth International …, 2019
52019
Efficient compliance checking of RDF data
L Robaldo, F Pacenza, J Zangari, R Calegari, F Calimeri, G Siragusa
Journal of Logic and Computation 33 (8), 1753-1776, 2023
32023
Integrating asp-based incremental reasoning in the videogame development workflow (application paper)
D Angilica, G Ianni, F Pacenza, J Zangari
International Symposium on Practical Aspects of Declarative Languages, 96-106, 2023
22023
From vision to execution: enabling knowledge representation and reasoning in hybrid intelligent robots playing mobile games
D Angilica, M Avolio, G Beraldi, G Ianni, F Pacenza
Proceedings of the 20th International Conference on Principles of Knowledge …, 2023
12023
ASP-based declarative reasoning in data-intensive enterprise and IoT applications
F Calimeri, N Leone, G Melissari, F Pacenza, S Perri, K Reale, F Ricca, ...
Algorithms 16 (3), 159, 2023
12023
Stream Reasoning with Incremental Grounding
F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari
5th Stream Reasoning Workshop, 2021
12021
An Infrastructure for Stream Reasoning with Incremental Grounding
G Ianni, F Pacenza, J Zangari
CEUR WORKSHOP PROCEEDINGS 2396, 269-278, 2019
12019
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning
F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari
International Symposium on Practical Aspects of Declarative Languages, 1-17, 2024
2024
Rethinking Answer Set Programming Templates
M Alviano, G Ianni, F Pacenza, J Zangari
International Symposium on Practical Aspects of Declarative Languages, 82-99, 2024
2024
Check for updates Rethinking Answer Set Programming Templates
G Ianni, F Pacenza, J Zangari
Practical Aspects of Declarative Languages: 26th International Symposium …, 2024
2024
Extending Answer Set Programming with Rational Numbers
F Pacenza, J Zangari
arXiv preprint arXiv:2312.04249, 2023
2023
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
E Mastria, F Pacenza, J Zangari, F Calimeri, S Perri, G Terracina
Big Data and Cognitive Computing 7 (3), 135, 2023
2023
Efficient compliance checking of RDF data
R Livio, F Pacenza, J Zangari, C Roberta, F Calimeri, S Giovanni
JOURNAL OF LOGIC AND COMPUTATION, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20