PACENZA, Francesco

PACENZA, Francesco  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.012 secondi).
Titolo Data di pubblicazione Autore(i) File
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 Multi-shot Reasoning via DLV2 with Incremental Grounding 1-gen-2022 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
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.
An infrastructure for stream reasoning with incremental grounding 1-gen-2019 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.
Tight Integration of Rule-Based Tools in Game Development 1-gen-2019 Angilica, D.; Ianni, G.; Pacenza, F.