PERRI, Simona
PERRI, Simona
Dipartimento di Matematica e Informatica
A framework for easing the development of applications embedding answer set programming
2016-01-01 Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona
A Parallel ASP Instantiator Based on DLV
2010-01-01 Perri, Simona; Ricca, Francesco; Marco, Sirianni
Abduction with Penalization in Logic Programming
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
2005-01-01 Perri, Simona; Scarcello, Francesco; Leone, Nicola
Advanced BackJumping Techniques for Rule Instantiations
2003-01-01 Perri, Simona; Scarcello, F.
Advanced heuristics for parallel ASP instantiation
2009-01-01 Perri, Simona; Ricca, Francesco; Sirianni, M.
The AI system DLV: Ontologies, reasoning, and more
2018-01-01 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
2009-01-01 Perri, S; Sirianni, M; Ricca, Francesco
An integrated graphic tool for developing and testing DLV programs
2007-01-01 Perri, Simona; Ricca, Francesco; Terracina, Giorgio; Cianni, D; Veltri, P.
Answer set programming and declarative problem solving in game AIs
2013-01-01 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
The ASP System DLV2
2017-01-01 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
2018-01-01 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
2004-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
2016-01-01 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
Census Data Repair: A Challenging Application of Disjunctive Logic Programming
2001-01-01 Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco
Declarative and Computational Properties of Logic Programs with Aggregates
2005-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
The Disjunctive Datalog System DLV
2011-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G; Terracina, Giorgio
DLV - Declarative Problem Solving Using Answer Set Programming
2001-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
The DLV System
2002-01-01 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
2007-01-01 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.
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. |