IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 45
Titolo Data di pubblicazione Autore(i) File
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 1-gen-2013 Calimeri, Francesco; Ianni, Giovambattista; Perri, Simona; Zangari, J.
Answer set programming and declarative problem solving in game AIs 1-gen-2013 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
Embedding ASP in mobile systems: discussion and preliminary implementations 1-gen-2015 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
A framework for easing the development of applications embedding answer set programming 1-gen-2016 Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 1-gen-2016 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
I-DLV: The new intelligent grounder of DLV 1-gen-2016 Calimeri, Francesco; Fuscà, D; Perri, Simona; Zangari, J.
The new DLV Grounder: External Computations, Interoperability and Customizability 1-gen-2017 Calimeri, Francesco; Fuscà, D; Ianni, Giovambattista; Melissari, G; Zangari, J.
The ASP Instantiator I-DLV 1-gen-2017 Calimeri, Francesco; Perri, S; Zangari, J.
The ASP System DLV2 1-gen-2017 Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J.
I-DLV: The new intelligent grounder of DLV 1-gen-2017 Calimeri, Francesco; Fusca', Davide; Perri, Simona; Zangari, Jessica
I-DLV: the new Intelligent Grounder of DLV -- [Extended version of the work winner of the BEST PAPER AWARD at AI*IA 2016] 1-gen-2017 Calimeri, Francesco; Fusca', Davide; Perri, S; Zangari, Jessica
External computations and interoperability in the new DLV grounder 1-gen-2017 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 1-gen-2017 Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J.
First Steps towards Reasoning on Big Data with DLV 1-gen-2018 Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
The AI system DLV: Ontologies, reasoning, and more 1-gen-2018 Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J.
How Modern Deductive Database Systems Can Enhance Data Integration 1-gen-2018 Calimeri, F.; Perri, Simona; Terracina, G.; 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
The ASP System DLV: Advancements and Applications 1-gen-2018 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Optimizing answer set computation via heuristic-based decomposition 1-gen-2018 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
Efficiently Coupling the I-DLV Grounder with ASP Solvers 1-gen-2018 Calimeri, F.; Dodaro, C.; Fusca, D.; Perri, S.; Zangari, J.
Mostrati risultati da 1 a 20 di 45
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