IRIS

PERRI, Simona

PERRI, Simona  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 75 (tempo di esecuzione: 0.063 secondi).
Titolo Data di pubblicazione Autore(i) File
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
A Parallel ASP Instantiator Based on DLV 1-gen-2010 Perri, Simona; Ricca, Francesco; Marco, Sirianni
Abduction with Penalization in Logic Programming 1-gen-2001 Leone, Nicola; Perri, Simona; Scarcello, F.
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 1-gen-2005 Perri, Simona; Scarcello, Francesco; Leone, Nicola
Advanced BackJumping Techniques for Rule Instantiations 1-gen-2003 Perri, Simona; Scarcello, F.
Advanced heuristics for parallel ASP instantiation 1-gen-2009 Perri, Simona; Ricca, Francesco; Sirianni, M.
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.
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 1-gen-2009 Perri, S; Sirianni, M; Ricca, Francesco
An integrated graphic tool for developing and testing DLV programs 1-gen-2007 Perri, Simona; Ricca, Francesco; Terracina, Giorgio; Cianni, D; Veltri, P.
Answer set programming and declarative problem solving in game AIs 1-gen-2013 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
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.
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
BackJumping Techniques for Rules Instantiation in the DLV System 1-gen-2004 Leone, Nicola; Perri, Simona; Scarcello, F.
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.
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 1-gen-2001 Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco
Declarative and Computational Properties of Logic Programs with Aggregates 1-gen-2005 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
The Disjunctive Datalog System DLV 1-gen-2011 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G; Terracina, Giorgio
DLV - Declarative Problem Solving Using Answer Set Programming 1-gen-2001 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
The DLV System 1-gen-2002 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, T; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, G; Koch, C; Perri, Simona; Polleres, A.
DLV: An Advanced System for Knowledge Representation and Reasoning 1-gen-2007 Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G.