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.
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again
2017-01-01 Amendola, G.; Leone, N.; Manna, M.
Querying large expressive horn ontologies
2019-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Reasoning on anonymity in Datalog+/-
2017-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Reasoning over Ontologies with DLV
2020-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
2004-01-01 Faber, Wolfgang; Leone, Nicola; G., Pfeifer
Representing School Timetabling in a Disjunctive Logic Programming Language
1998-01-01 Faber, W; Leone, Nicola; Pfeifer, G.
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
2001-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
Robbers, Marshals, and Guards: Game-Theoretic and Logical Characterizations of Hypertree Width
2001-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
Second Order Logic and the Weak Exponential Hierarchies
1995-01-01 Gottlob, G.; Leone, Nicola; Veith, H.
Semantic Views of Homogeneous Unstructured Data
2015-01-01 Adrian, Wt; Leone, Nicola; Manna, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again | 1-gen-2017 | Amendola, G.; Leone, N.; Manna, M. | |
Querying large expressive horn ontologies | 1-gen-2019 | Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Reasoning on anonymity in Datalog+/- | 1-gen-2017 | Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco | |
Reasoning over Ontologies with DLV | 1-gen-2020 | Allocca, C.; Alviano, M.; Calimeri, F.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity | 1-gen-2004 | Faber, Wolfgang; Leone, Nicola; G., Pfeifer | |
Representing School Timetabling in a Disjunctive Logic Programming Language | 1-gen-1998 | Faber, W; Leone, Nicola; Pfeifer, G. | |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width | 1-gen-2001 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
Robbers, Marshals, and Guards: Game-Theoretic and Logical Characterizations of Hypertree Width | 1-gen-2001 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
Second Order Logic and the Weak Exponential Hierarchies | 1-gen-1995 | Gottlob, G.; Leone, Nicola; Veith, H. | |
Semantic Views of Homogeneous Unstructured Data | 1-gen-2015 | Adrian, Wt; Leone, Nicola; Manna, Marco |
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