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.
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications
2015-01-01 Leone, Nicola; Ricca, Francesco
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
2022-01-01 Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F.
ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report
2012-01-01 Febbraro, O.; Leone, Nicola; Reale, K.; Ricca, Francesco
Backjumping and Look- back Heuristics for Disjunctive Logic Programming with Aggregates
2008-01-01 Faber, Wolfgang; Leone, Nicola; Marco, Maratea; Francesco, Ricca
BackJumping Techniques for Rules Instantiation in the DLV System
2004-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Boosting Information Integration: The INFOMIX System
2005-01-01 Leone, Nicola; Eiter, T; Faber, W; Fink, M; Gottlob, G; Greco, Gianluigi; Kalka, E; Ianni, Giovambattista; Lembo, D; Lio, V; Nowicki, B; Rosati, R; Ruzzi, M; Staniszkis, W; Terracina, Giorgio
Bottom-up Evaluation of Finitely Recursive Queries
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Bottom-up Evaluation of Stratified Ordered Logic Programs
1991-01-01 Leone, Nicola; Rossi, G.; Rullo, P.
BQM: A System Integrating Logic, Objects and Non-Monotonic Reasoning
1995-01-01 Leone, Nicola; Rullo, P.
Census Data Repair: A Challenging Application of Disjunctive Logic Programming
2001-01-01 Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications | 1-gen-2015 | Leone, Nicola; Ricca, Francesco | |
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning | 1-gen-2022 | Reale, K.; Calimeri, F.; Leone, N.; Perri, S.; Ricca, F. | |
ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report | 1-gen-2012 | Febbraro, O.; Leone, Nicola; Reale, K.; Ricca, Francesco | |
Backjumping and Look- back Heuristics for Disjunctive Logic Programming with Aggregates | 1-gen-2008 | Faber, Wolfgang; Leone, Nicola; Marco, Maratea; Francesco, Ricca | |
BackJumping Techniques for Rules Instantiation in the DLV System | 1-gen-2004 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
Boosting Information Integration: The INFOMIX System | 1-gen-2005 | Leone, Nicola; Eiter, T; Faber, W; Fink, M; Gottlob, G; Greco, Gianluigi; Kalka, E; Ianni, Giovambattista; Lembo, D; Lio, V; Nowicki, B; Rosati, R; Ruzzi, M; Staniszkis, W; Terracina, Giorgio | |
Bottom-up Evaluation of Finitely Recursive Queries | 1-gen-2009 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola | |
Bottom-up Evaluation of Stratified Ordered Logic Programs | 1-gen-1991 | Leone, Nicola; Rossi, G.; Rullo, P. | |
BQM: A System Integrating Logic, Objects and Non-Monotonic Reasoning | 1-gen-1995 | Leone, Nicola; Rullo, P. | |
Census Data Repair: A Challenging Application of Disjunctive Logic Programming | 1-gen-2001 | Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco |
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