RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
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.
The DLV System: Model Generator and Application Frontends
1997-01-01 S., Citrigno; Eiter, T.; Koch, ; Faber, W.; Gottlob, G.; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F.
The DLVk Planning System
2001-01-01 Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A.
The DLVk Planning System: Progress Report
2002-01-01 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
The Expressive Power of Partial Models for Disjunctive Deductive Databases
1996-01-01 Eiter, T.; Leone, Nicola; Sacca', D.
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data
2005-01-01 Leone, Nicola; Greco, Gianluigi; Ianni, Giovambattista; Lio, V; Terracina, Giorgio; Eiter, T; Faber, W; Fink, M; Gottlob, G; Rosati, R; Lembo, D; Lenzerini, M; Ruzzi, M; Kalka, E; Nowicki, B; Staniszkis, W.
The KIWIS Knowledge Base Management System
1991-01-01 Ahlsen, M; D'Atri, A; Johannesson, P; Laenens, E; Leone, Nicola; Rullo, P; Rossi, P; Staes, F; Tarantino, L; VAN BEIRENDONCK, L; VAN CADSAND, F; VAN SANT, W; VAN SLEMBROECK, J; Verdonk, B; VERMEIR D., Ed
The Knowledge Representation System DLV: Progress Report, Comparisons, and Benchmarks
1998-01-01 Eiter, T.; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F.
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track
2011-01-01 Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P.
Towards a Semantic Information Extraction Approach from Unstructured Documents
2006-01-01 Ruffolo, M; Gallucci, L; Leone, Nicola; Manna, Marco; Saccà, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| The DLV System: Model Generator and Application Frontends | 1-gen-1997 | S., Citrigno; Eiter, T.; Koch, ; Faber, W.; Gottlob, G.; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F. | |
| The DLVk Planning System | 1-gen-2001 | Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A. | |
| The DLVk Planning System: Progress Report | 1-gen-2002 | Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A. | |
| The Expressive Power of Partial Models for Disjunctive Deductive Databases | 1-gen-1996 | Eiter, T.; Leone, Nicola; Sacca', D. | |
| The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data | 1-gen-2005 | Leone, Nicola; Greco, Gianluigi; Ianni, Giovambattista; Lio, V; Terracina, Giorgio; Eiter, T; Faber, W; Fink, M; Gottlob, G; Rosati, R; Lembo, D; Lenzerini, M; Ruzzi, M; Kalka, E; Nowicki, B; Staniszkis, W. | |
| The KIWIS Knowledge Base Management System | 1-gen-1991 | Ahlsen, M; D'Atri, A; Johannesson, P; Laenens, E; Leone, Nicola; Rullo, P; Rossi, P; Staes, F; Tarantino, L; VAN BEIRENDONCK, L; VAN CADSAND, F; VAN SANT, W; VAN SLEMBROECK, J; Verdonk, B; VERMEIR D., Ed | |
| The Knowledge Representation System DLV: Progress Report, Comparisons, and Benchmarks | 1-gen-1998 | Eiter, T.; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F. | |
| The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track | 1-gen-2011 | Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P. | |
| Towards a Semantic Information Extraction Approach from Unstructured Documents | 1-gen-2006 | Ruffolo, M; Gallucci, L; Leone, Nicola; Manna, Marco; Saccà, D. |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 203
- 4 Contributo in Atti di Convegno ... 203
Data di pubblicazione
- 2020 - 2022 5
- 2010 - 2019 50
- 2000 - 2009 93
- 1991 - 1999 55
Editore
- Springer 21
- Springer-Verlag 16
- CEUR-WS.org 8
- AAAI Press 5
- Springer Verlag 5
- CEUR-WS 4
- Springer International Publishing... 4
- Professional Book Center 2
- Universita Reggio Calabria and Ce... 2
- ACM 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 43
- CEUR WORKSHOP PROCEEDINGS 11
- ACM INTERNATIONAL CONFERENCE PROC... 2
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- LECTURE NOTES IN COMPUTER SCIENCE 2
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- PROCEEDINGS OF THE ... AAAI CONFE... 1
Serie
- CEUR WORKSHOP PROCEEDINGS 5
- LECTURE NOTES IN COMPUTER SCIENCE 5
- OPEN ACCESS SERIES IN INFORMATICS 2
- COMMUNICATIONS IN COMPUTER AND IN... 1
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
Keyword
- Answer Set Programming 13
- answer set programming 11
- artificial intelligence 10
- nonmonotonic reasoning 6
- Answer set programming 5
- Artificial Intelligence 4
- Datalog 3
- DLV 3
- Ontology-based query answering 3
- aggregates 2
Lingua
- eng 198
- ita 4
- nor 1
Accesso al fulltext
- no fulltext 203