Sfoglia per Autore
Utilizzo di AI per la Programmazione Logica Disgiuntiva
1999-01-01 Leone, Nicola; Perri, S.; Rullo, P.
Local Search Techniques for Disjunctive Logic Programs
2000-01-01 Leone, Nicola; Perri, Simona; Rullo, Pasquale
Join Ordering Techniques for Knowledge Base Systems
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Census Data Repair: A Challenging Application of Disjunctive Logic Programming
2001-01-01 Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco
System Description: DLV
2001-01-01 Dell'Armi, T.; Ielpa, G.; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
DLV - Declarative Problem Solving Using Answer Set Programming
2001-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
Improving ASP Instantiators by Join-Ordering Methods
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Abduction with Penalization in Logic Programming
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
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.
Advanced BackJumping Techniques for Rule Instantiations
2003-01-01 Perri, Simona; Scarcello, F.
Parametric Connectives in Disjunctive Logic Programming
2003-01-01 Leone, Nicola; Perri, Simona
New DLV Features for Data Integration
2004-01-01 Calimeri, F; Citrigno, Manuela; Cumbo, Chiara; Faber, W; Leone, N; Perri, S; Pfeifer, G
BackJumping Techniques for Rules Instantiation in the DLV System
2004-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
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.
Parametric Connectives in Disjunctive Logic Programming
2004-01-01 Perri, Simona; Leone, Nicola
System Description: DLV with Aggregates
2004-01-01 Dell'Armi, T.; Faber, Wolfgang; Ielpa, G.; Leone, Nicola; Perri, Simona; Pfeifer, G.
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
2005-01-01 Perri, Simona; Scarcello, Francesco; Leone, Nicola
Declarative and Computational Properties of Logic Programs with Aggregates
2005-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
The DLV System for Knowledge Representation and Reasoning
2006-01-01 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Eiter, T; Gottlob, G; Perri, Simona; Scarcello, Francesco
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 |
---|---|---|---|
Utilizzo di AI per la Programmazione Logica Disgiuntiva | 1-gen-1999 | Leone, Nicola; Perri, S.; Rullo, P. | |
Local Search Techniques for Disjunctive Logic Programs | 1-gen-2000 | Leone, Nicola; Perri, Simona; Rullo, Pasquale | |
Join Ordering Techniques for Knowledge Base Systems | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
Census Data Repair: A Challenging Application of Disjunctive Logic Programming | 1-gen-2001 | Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco | |
System Description: DLV | 1-gen-2001 | Dell'Armi, T.; Ielpa, G.; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G. | |
DLV - Declarative Problem Solving Using Answer Set Programming | 1-gen-2001 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G. | |
Improving ASP Instantiators by Join-Ordering Methods | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
Abduction with Penalization in Logic Programming | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
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. | |
Advanced BackJumping Techniques for Rule Instantiations | 1-gen-2003 | Perri, Simona; Scarcello, F. | |
Parametric Connectives in Disjunctive Logic Programming | 1-gen-2003 | Leone, Nicola; Perri, Simona | |
New DLV Features for Data Integration | 1-gen-2004 | Calimeri, F; Citrigno, Manuela; Cumbo, Chiara; Faber, W; Leone, N; Perri, S; Pfeifer, G | |
BackJumping Techniques for Rules Instantiation in the DLV System | 1-gen-2004 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
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. | |
Parametric Connectives in Disjunctive Logic Programming | 1-gen-2004 | Perri, Simona; Leone, Nicola | |
System Description: DLV with Aggregates | 1-gen-2004 | Dell'Armi, T.; Faber, Wolfgang; Ielpa, G.; Leone, Nicola; Perri, Simona; Pfeifer, G. | |
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation | 1-gen-2005 | Perri, Simona; Scarcello, Francesco; Leone, Nicola | |
Declarative and Computational Properties of Logic Programs with Aggregates | 1-gen-2005 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona | |
The DLV System for Knowledge Representation and Reasoning | 1-gen-2006 | Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Eiter, T; Gottlob, G; Perri, Simona; Scarcello, Francesco | |
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. |
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