Seguir
Francesco Pacenza
Francesco Pacenza
Dirección de correo verificada de unical.it - Página principal
Título
Citado por
Citado por
Año
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 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
152020
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
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
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
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
92022
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
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
52023
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
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
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
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
Reasoning in Highly Reactive Environments
F Pacenza
arXiv preprint arXiv:1909.08260, 2019
2019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20