Sfoglia per Autore  PACENZA, Francesco

Opzioni
Mostrati risultati da 1 a 17 di 17
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
Integrating rule-based AI tools into mainstream game development 1-gen-2018 Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica
An infrastructure for stream reasoning with incremental grounding 1-gen-2019 Ianni, G.; Pacenza, F.; Zangari, J.
Reasoning in highly reactive environments 1-gen-2019 Pacenza, F.; Ianni, G.
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.
Incremental maintenance of overgrounded logic programs with tailored simplifications 1-gen-2020 Ianni, G.; Pacenza, F.; Zangari, J.
Declarative AI design in Unity using Answer Set Programming 1-gen-2022 Angilica, Denise; Ianni, Giovambattista; Pacenza, Francesco
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 1-gen-2022 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
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
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper) 1-gen-2023 Angilica, D.; Ianni, G.; Pacenza, F.; Zangari, J.
Efficient compliance checking of RDF data 1-gen-2023 Robaldo, Livio; Pacenza, Francesco; Zangari, Jessica; Calegari, Roberta; Calimeri, Francesco; Siragusa, Giovanni
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies 1-gen-2023 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
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
Rethinking Answer Set Programming Templates 1-gen-2024 Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 1-gen-2024 Calimeri, F.; Ianni, G.; Pacenza, F.; Perri, S.; Zangari, J.
Mostrati risultati da 1 a 17 di 17
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