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
212018
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 32 (2), 505-555, 2024
162024
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
162020
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
162019
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
112022
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
102023
Declarative AI design in unity using answer set programming
D Angilica, G Ianni, F Pacenza
2022 IEEE Conference on Games (CoG), 417-424, 2022
102022
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
82018
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
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
32023
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
12024
Rethinking Answer Set Programming Templates
M Alviano, G Ianni, F Pacenza, J Zangari
International Symposium on Practical Aspects of Declarative Languages, 82-99, 2024
12024
Extending Answer Set Programming with Rational Numbers
F Pacenza, J Zangari
arXiv preprint arXiv:2312.04249, 2023
12023
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
KR, 44-54, 2023
12023
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
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
Reasoning in highly dynamic environments
F Pacenza, G Greco, G Ianni, J Zangari
Università della Calabria, 2021
2021
Reasoning in Highly Reactive Environments
F Pacenza
arXiv preprint arXiv:1909.08260, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20