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.
A graphic tool for ontology reasoning under Datalog∃
2013-01-01 Febbraro, O; Leone, Nicola; Ricca, F; Terracina, Giorgio; Veltri, P.
A Logic-Based Tool for Semantic Information Extraction
2006-01-01 Ruffolo, M; Manna, Marco; Gallucci, L; Leone, Nicola; Sacca', Domenico
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels
2022-01-01 Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E.
A Non-Deterministic Semantics far Ordered Logic Programs
1994-01-01 Buccufurri, F.; Leone, Nicola; Rullo, P.
A Visual Tracer for DLV
2009-01-01 Calimeri, Francesco; Leone, Nicola; Ricca, Francesco; Veltri, P.
Abduction with Penalization in Logic Programming
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Adding Efficient Data Management to Logic Programming Systems
2006-01-01 Terracina, Giorgio; Leone, Nicola; V., Lio; C., Panetta
Adding Set Terms to Ordered Logic Programs
1993-01-01 Leone, Nicola; Rullo, P.
Adding Weak Constraints to Disjunctive Datalog
1997-01-01 Buccufurri, F; Leone, Nicola; Rullo, P.
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints,
2000-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A graphic tool for ontology reasoning under Datalog∃ | 1-gen-2013 | Febbraro, O; Leone, Nicola; Ricca, F; Terracina, Giorgio; Veltri, P. | |
A Logic-Based Tool for Semantic Information Extraction | 1-gen-2006 | Ruffolo, M; Manna, Marco; Gallucci, L; Leone, Nicola; Sacca', Domenico | |
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels | 1-gen-2022 | Barbara, V.; Buelli, D.; Guarascio, M.; Ierace, S.; Iiritano, S.; Laboccetta, G.; Leone, N.; Manco, G.; Pesenti, V.; Quarta, A.; Ricca, F.; Ritacco, E. | |
A Non-Deterministic Semantics far Ordered Logic Programs | 1-gen-1994 | Buccufurri, F.; Leone, Nicola; Rullo, P. | |
A Visual Tracer for DLV | 1-gen-2009 | Calimeri, Francesco; Leone, Nicola; Ricca, Francesco; Veltri, P. | |
Abduction with Penalization in Logic Programming | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
Adding Efficient Data Management to Logic Programming Systems | 1-gen-2006 | Terracina, Giorgio; Leone, Nicola; V., Lio; C., Panetta | |
Adding Set Terms to Ordered Logic Programs | 1-gen-1993 | Leone, Nicola; Rullo, P. | |
Adding Weak Constraints to Disjunctive Datalog | 1-gen-1997 | Buccufurri, F; Leone, Nicola; Rullo, P. | |
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, | 1-gen-2000 | Gottlob, G.; Leone, Nicola; Scarcello, F. |
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