Sfoglia per Autore
DLV - Declarative Problem Solving Using Answer Set Programming
2001-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
Pruning Operators for Answer Set Programming Systems
2002-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
The DLV System
2002-01-01 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, C; Perri, Simona; Polleres, A.
Reasoning about the Semantic Web using Answer Set Programming
2003-01-01 Ianni, Giovambattista; Calimeri, Francesco; Lio, V; Galizia, S; Bonfa', A.
OntoDLP: a Logic Formalism for Knowledge Representation
2003-01-01 Calimeri, Francesco; Galizia, S; Ruffolo, M; Rullo, Pasquale
Enhancing Disjunctive Logic Programming for Ontology Specification
2003-01-01 Calimeri, Francesco; Galizia, Stefania; Ruffolo, Massimo; Rullo, Pasquale
Enhancing Answer Set Programming with Templates
2004-01-01 Ianni, Giovambattista; Ielpa, G; Pietramala, A; Santoro, M. C.; Calimeri, Francesco
Toward the Implementation of Functions in the DLV System
2004-01-01 Calimeri, Francesco; Leone, N.
A System with Template Answer Set Programs
2004-01-01 Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C.
New DLV Features for Data Integration. JELIA 2004
2004-01-01 Calimeri, Francesco; Citrigno, M.; Cumbo, C.; Faber, W.; Leone, Nicola; Perri, Simona; Pfeifer, G.
An Agent System Reasoning about the Web and the User
2004-01-01 Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S.
New DLV Features for Data Integration
2004-01-01 Calimeri, F; Citrigno, Manuela; Cumbo, Chiara; Faber, W; Leone, N; Perri, S; Pfeifer, G
Parametric External Predicates for the DLV System
2004-01-01 Calimeri, Francesco; Ianni, Giovambattista; Pietramala, A; Santoro, M. C.
Declarative and Computational Properties of Logic Programs with Aggregates
2005-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
External sources of computation for Answer Set Solvers
2005-01-01 Calimeri, Francesco; Ianni, Giovambattista
Extending ASP by value invention
2006-01-01 Calimeri, Francesco; Ianni, Giovambattista
Pruning Operators for Disjunctive Logic Programming Systems
2006-01-01 Calimeri, Francesco; Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
Decidable Fragments Of Logic Programming With Value Invention
2006-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista
Template Programs for Disjunctive Logic Programming: An Operational Semantics
2006-01-01 Calimeri, Francesco; Ianni, Giovambattista
Frame Logic under Answer Set Semantics
2007-01-01 Alviano, M; Calimeri, Francesco; Ianni, Giovambattista; Martello, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
DLV - Declarative Problem Solving Using Answer Set Programming | 1-gen-2001 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G. | |
Pruning Operators for Answer Set Programming Systems | 1-gen-2002 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Pfeifer, G. | |
The DLV System | 1-gen-2002 | Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, C; Perri, Simona; Polleres, A. | |
Reasoning about the Semantic Web using Answer Set Programming | 1-gen-2003 | Ianni, Giovambattista; Calimeri, Francesco; Lio, V; Galizia, S; Bonfa', A. | |
OntoDLP: a Logic Formalism for Knowledge Representation | 1-gen-2003 | Calimeri, Francesco; Galizia, S; Ruffolo, M; Rullo, Pasquale | |
Enhancing Disjunctive Logic Programming for Ontology Specification | 1-gen-2003 | Calimeri, Francesco; Galizia, Stefania; Ruffolo, Massimo; Rullo, Pasquale | |
Enhancing Answer Set Programming with Templates | 1-gen-2004 | Ianni, Giovambattista; Ielpa, G; Pietramala, A; Santoro, M. C.; Calimeri, Francesco | |
Toward the Implementation of Functions in the DLV System | 1-gen-2004 | Calimeri, Francesco; Leone, N. | |
A System with Template Answer Set Programs | 1-gen-2004 | Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C. | |
New DLV Features for Data Integration. JELIA 2004 | 1-gen-2004 | Calimeri, Francesco; Citrigno, M.; Cumbo, C.; Faber, W.; Leone, Nicola; Perri, Simona; Pfeifer, G. | |
An Agent System Reasoning about the Web and the User | 1-gen-2004 | Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S. | |
New DLV Features for Data Integration | 1-gen-2004 | Calimeri, F; Citrigno, Manuela; Cumbo, Chiara; Faber, W; Leone, N; Perri, S; Pfeifer, G | |
Parametric External Predicates for the DLV System | 1-gen-2004 | Calimeri, Francesco; Ianni, Giovambattista; Pietramala, A; Santoro, M. C. | |
Declarative and Computational Properties of Logic Programs with Aggregates | 1-gen-2005 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona | |
External sources of computation for Answer Set Solvers | 1-gen-2005 | Calimeri, Francesco; Ianni, Giovambattista | |
Extending ASP by value invention | 1-gen-2006 | Calimeri, Francesco; Ianni, Giovambattista | |
Pruning Operators for Disjunctive Logic Programming Systems | 1-gen-2006 | Calimeri, Francesco; Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola | |
Decidable Fragments Of Logic Programming With Value Invention | 1-gen-2006 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista | |
Template Programs for Disjunctive Logic Programming: An Operational Semantics | 1-gen-2006 | Calimeri, Francesco; Ianni, Giovambattista | |
Frame Logic under Answer Set Semantics | 1-gen-2007 | Alviano, M; Calimeri, Francesco; Ianni, Giovambattista; Martello, A. |
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