Sfoglia per Autore
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning
2024-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
Domain-agnostic Procedural Content Generation Can Be Done Declaratively
2023-01-01 Angilica, D.; Germano, S.; Ianni, G.
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)
2023-01-01 Angilica, D.; Ianni, G.; Pacenza, F.; 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
On the impact of sensors update in declarative AI for videogames
2023-01-01 Angilica, D.; De Giorgio, G. M.; Ianni, G.
Declarative AI design in Unity using Answer Set Programming
2022-01-01 Angilica, Denise; Ianni, Giovambattista; Pacenza, Francesco
AI and videogames: a “drosophila” for declarative methods
2022-01-01 Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L.
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
2022-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
ASP-Core-2 Input Language Format
2020-01-01 Calimeri, F.; Faber, W.; Gebser, M.; Ianni, G.; Kaminski, R.; Krennwallner, T.; Leone, N.; Maratea, M.; Ricca, F.; Schaub, T.
Incremental maintenance of overgrounded logic programs with tailored simplifications
2020-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
Proceedings of the 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019
2019-01-01 Bogaerts, BART MICHIEL; Erdem, Esra; Fodor, Paul; Formisano, Andrea; Ianni, Giovambattista; Inclezan, Daniela; Vidal, Germán; Villanueva, Alicia; De Vos, Marina; Yang, Fangkai
Incremental Answer Set Programming with Overgrounding
2019-01-01 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, Simona; Zangari, J.
Tight Integration of Rule-Based Tools in Game Development
2019-01-01 Angilica, D.; Ianni, G.; Pacenza, F.
An infrastructure for stream reasoning with incremental grounding
2019-01-01 Ianni, G.; Pacenza, F.; Zangari, J.
The DLVHEX System
2018-01-01 Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius
Integrating rule-based AI tools into mainstream game development
2018-01-01 Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica
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
Individual identification of sharks through dorsal fin: a new approach thanks to advances in computer science. Poster Abstract.
2018-01-01 Giglio, Gianni; Marzullo, Aldo; Calimeri, Francesco; Cauteruccio, Francesco; Ianni, Giovambattista; Micarelli, Primo; Romano, Chiara; Sperone, Emilio; Tripepi, Sandro; Terracina, Giorgio
The new DLV Grounder: External Computations, Interoperability and Customizability
2017-01-01 Calimeri, Francesco; Fuscà, D; Ianni, Giovambattista; Melissari, G; Zangari, J.
Reasoning web: Semantic Interoperability on the web
2017-01-01 Ianni, Giovambattista; Lembo, Domenico; Bertossi, Leopoldo; Faber, Wolfgang; Glimm, Birte; Gottlob, Georg; Staab, Steffen
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning | 1-gen-2024 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J. | |
Domain-agnostic Procedural Content Generation Can Be Done Declaratively | 1-gen-2023 | Angilica, D.; Germano, S.; Ianni, G. | |
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper) | 1-gen-2023 | Angilica, D.; Ianni, G.; Pacenza, F.; 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 | |
On the impact of sensors update in declarative AI for videogames | 1-gen-2023 | Angilica, D.; De Giorgio, G. M.; Ianni, G. | |
Declarative AI design in Unity using Answer Set Programming | 1-gen-2022 | Angilica, Denise; Ianni, Giovambattista; Pacenza, Francesco | |
AI and videogames: a “drosophila” for declarative methods | 1-gen-2022 | Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L. | |
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding | 1-gen-2022 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J. | |
ASP-Core-2 Input Language Format | 1-gen-2020 | Calimeri, F.; Faber, W.; Gebser, M.; Ianni, G.; Kaminski, R.; Krennwallner, T.; Leone, N.; Maratea, M.; Ricca, F.; Schaub, T. | |
Incremental maintenance of overgrounded logic programs with tailored simplifications | 1-gen-2020 | Ianni, G.; Pacenza, F.; Zangari, J. | |
Proceedings of the 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019 | 1-gen-2019 | Bogaerts, BART MICHIEL; Erdem, Esra; Fodor, Paul; Formisano, Andrea; Ianni, Giovambattista; Inclezan, Daniela; Vidal, Germán; Villanueva, Alicia; De Vos, Marina; Yang, Fangkai | |
Incremental Answer Set Programming with Overgrounding | 1-gen-2019 | Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, Simona; Zangari, J. | |
Tight Integration of Rule-Based Tools in Game Development | 1-gen-2019 | Angilica, D.; Ianni, G.; Pacenza, F. | |
An infrastructure for stream reasoning with incremental grounding | 1-gen-2019 | Ianni, G.; Pacenza, F.; Zangari, J. | |
The DLVHEX System | 1-gen-2018 | Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius | |
Integrating rule-based AI tools into mainstream game development | 1-gen-2018 | Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica | |
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 | |
Individual identification of sharks through dorsal fin: a new approach thanks to advances in computer science. Poster Abstract. | 1-gen-2018 | Giglio, Gianni; Marzullo, Aldo; Calimeri, Francesco; Cauteruccio, Francesco; Ianni, Giovambattista; Micarelli, Primo; Romano, Chiara; Sperone, Emilio; Tripepi, Sandro; Terracina, Giorgio | |
The new DLV Grounder: External Computations, Interoperability and Customizability | 1-gen-2017 | Calimeri, Francesco; Fuscà, D; Ianni, Giovambattista; Melissari, G; Zangari, J. | |
Reasoning web: Semantic Interoperability on the web | 1-gen-2017 | Ianni, Giovambattista; Lembo, Domenico; Bertossi, Leopoldo; Faber, Wolfgang; Glimm, Birte; Gottlob, Georg; Staab, Steffen |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile