PACENZA, Francesco
PACENZA, Francesco
Dipartimento di Matematica e Informatica
An infrastructure for stream reasoning with incremental grounding
2019-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach
2018-01-01 Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Pezzimenti, Armando; Tucci, Andrea
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
2023-01-01 Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
2022-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
2024-01-01 Robaldo, Livio; Batsakis, Sotiris; Calegari, Roberta; Calimeri, Francesco; Fujita, Megumi; Governatori, Guido; Morelli, MARIA CONCETTA; Pacenza, Francesco; Pisano, Giuseppe; Satoh, Ken; Tachmazidis, Ilias; Zangari, Jessica
Declarative AI design in Unity using Answer Set Programming
2022-01-01 Angilica, Denise; Ianni, Giovambattista; Pacenza, Francesco
Efficient compliance checking of RDF data
2023-01-01 Robaldo, Livio; Pacenza, Francesco; Zangari, Jessica; Calegari, Roberta; Calimeri, Francesco; Siragusa, Giovanni
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
2023-01-01 Mastria, Elena; Pacenza, Francesco; Zangari, Jessica; Calimeri, Francesco; Perri, Simona; Terracina, Giorgio
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning
2024-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games
2023-01-01 Angilica, Denise; Avolio, Mario; Beraldi, Giovanni; Ianni, Giovambattista; Pacenza, Francesco
Incremental Answer Set Programming with Overgrounding
2019-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, Simona; Zangari, J.
Incremental maintenance of overgrounded logic programs with tailored simplifications
2020-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)
2023-01-01 Angilica, D.; Ianni, G.; Pacenza, F.; Zangari, J.
Integrating rule-based AI tools into mainstream game development
2018-01-01 Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica
Reasoning in highly reactive environments
2019-01-01 Pacenza, F.; Ianni, G.
Rethinking Answer Set Programming Templates
2024-01-01 Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica
Tight Integration of Rule-Based Tools in Game Development
2019-01-01 Angilica, D.; Ianni, G.; Pacenza, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An infrastructure for stream reasoning with incremental grounding | 1-gen-2019 | Ianni, G.; Pacenza, F.; Zangari, J. | |
| Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach | 1-gen-2018 | Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Pezzimenti, Armando; Tucci, Andrea | |
| ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications | 1-gen-2023 | Calimeri, F; Leone, N; Melissari, G; Pacenza, F; Perri, S; Reale, K; Ricca, F; Zangari, J | |
| ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding | 1-gen-2022 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J. | |
| Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies | 1-gen-2024 | Robaldo, Livio; Batsakis, Sotiris; Calegari, Roberta; Calimeri, Francesco; Fujita, Megumi; Governatori, Guido; Morelli, MARIA CONCETTA; Pacenza, Francesco; Pisano, Giuseppe; Satoh, Ken; Tachmazidis, Ilias; Zangari, Jessica | |
| Declarative AI design in Unity using Answer Set Programming | 1-gen-2022 | Angilica, Denise; Ianni, Giovambattista; Pacenza, Francesco | |
| Efficient compliance checking of RDF data | 1-gen-2023 | Robaldo, Livio; Pacenza, Francesco; Zangari, Jessica; Calegari, Roberta; Calimeri, Francesco; Siragusa, Giovanni | |
| EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring | 1-gen-2023 | Mastria, Elena; Pacenza, Francesco; Zangari, Jessica; Calimeri, Francesco; Perri, Simona; Terracina, Giorgio | |
| Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning | 1-gen-2024 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J. | |
| From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games | 1-gen-2023 | Angilica, Denise; Avolio, Mario; Beraldi, Giovanni; Ianni, Giovambattista; Pacenza, Francesco | |
| Incremental Answer Set Programming with Overgrounding | 1-gen-2019 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, Simona; Zangari, J. | |
| Incremental maintenance of overgrounded logic programs with tailored simplifications | 1-gen-2020 | Ianni, G.; Pacenza, F.; Zangari, J. | |
| Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper) | 1-gen-2023 | Angilica, D.; Ianni, G.; Pacenza, F.; Zangari, J. | |
| Integrating rule-based AI tools into mainstream game development | 1-gen-2018 | Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica | |
| Reasoning in highly reactive environments | 1-gen-2019 | Pacenza, F.; Ianni, G. | |
| Rethinking Answer Set Programming Templates | 1-gen-2024 | Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica | |
| Tight Integration of Rule-Based Tools in Game Development | 1-gen-2019 | Angilica, D.; Ianni, G.; Pacenza, F. |