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 | 21 | 2018 |
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 | 16 | 2024 |
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 | 16 | 2020 |
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 | 16 | 2019 |
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 | 11 | 2022 |
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 | 10 | 2023 |
Declarative AI design in unity using answer set programming D Angilica, G Ianni, F Pacenza 2022 IEEE Conference on Games (CoG), 417-424, 2022 | 10 | 2022 |
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 | 8 | 2018 |
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 | 5 | 2019 |
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 | 3 | 2023 |
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 | 1 | 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 | 1 | 2024 |
Extending Answer Set Programming with Rational Numbers F Pacenza, J Zangari arXiv preprint arXiv:2312.04249, 2023 | 1 | 2023 |
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 | 1 | 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 | 1 | 2023 |
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 | 1 | 2023 |
Stream Reasoning with Incremental Grounding F Calimeri, G Ianni, F Pacenza, S Perri, J Zangari 5th Stream Reasoning Workshop, 2021 | 1 | 2021 |
An Infrastructure for Stream Reasoning with Incremental Grounding G Ianni, F Pacenza, J Zangari CEUR WORKSHOP PROCEEDINGS 2396, 269-278, 2019 | 1 | 2019 |
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 |