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.
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming
2008-01-01 Faber, W; Ricca, Francesco; Leone, Nicola; M., Maratea
A well-Founded Semantics for Ordered Logic Programming
1991-01-01 Leone, Nicola; Rossi, G.
A Backjumping Technique for Disjunctive Logic Programming
2006-01-01 Francesco, Ricca; Faber, Wolfgang; Leone, Nicola
A Backjumping Technique for Disjunctive Logic Programming
2005-01-01 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
A Backjumping Tecnique for Disjunctive Logic Programming
2006-01-01 Ricca, Francesco; Faber, W; Leone, Nicola
A Comparison of Heuristics far Answer Set Programming
2001-01-01 Faber, W.; Leone, Nicola; Pfeifer, G.
A Comparison of Heuristics for Answer Set Programming
2001-01-01 Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer
A Comparison of Structural CSP Decomposition Methods
1999-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
A Comparison of Structural CSP Decomposition Methods
2000-01-01 Gottlob, G; Leone, Nicola; Scarcello, Francesco
A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning
1997-01-01 Leone, Nicola; Rullo, Pasquale; Mecchia, P; Rossi, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming | 1-gen-2008 | Faber, W; Ricca, Francesco; Leone, Nicola; M., Maratea | |
A well-Founded Semantics for Ordered Logic Programming | 1-gen-1991 | Leone, Nicola; Rossi, G. | |
A Backjumping Technique for Disjunctive Logic Programming | 1-gen-2006 | Francesco, Ricca; Faber, Wolfgang; Leone, Nicola | |
A Backjumping Technique for Disjunctive Logic Programming | 1-gen-2005 | Faber, Wolfgang; Leone, Nicola; Ricca, Francesco | |
A Backjumping Tecnique for Disjunctive Logic Programming | 1-gen-2006 | Ricca, Francesco; Faber, W; Leone, Nicola | |
A Comparison of Heuristics far Answer Set Programming | 1-gen-2001 | Faber, W.; Leone, Nicola; Pfeifer, G. | |
A Comparison of Heuristics for Answer Set Programming | 1-gen-2001 | Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer | |
A Comparison of Structural CSP Decomposition Methods | 1-gen-1999 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
A Comparison of Structural CSP Decomposition Methods | 1-gen-2000 | Gottlob, G; Leone, Nicola; Scarcello, Francesco | |
A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning | 1-gen-1997 | Leone, Nicola; Rullo, Pasquale; Mecchia, P; Rossi, 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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 203
- 4 Contributo in Atti di Convegno ... 203
- 1 Contributo su Rivista 98
- 1 Contributo su Rivista::1.1 Arti... 98
- 2 Contributo in Volume 29
- 2 Contributo in Volume::2.1 Contr... 28
- 3 Libro 4
- 3 Libro::3.1 Monografia o trattat... 4
- 7 Curatele 4
- 7 Curatele::7.1 Curatela 4
- 5 Altro 3
- 5 Altro::5.12 Altro 3
- 2 Contributo in Volume::2.2 Prefa... 1
Data di pubblicazione
- 2020 - 2023 11
- 2010 - 2019 88
- 2000 - 2009 151
- 1991 - 1999 91
Editore
- Springer 25
- Springer-Verlag 22
- CEUR-WS.org 8
- Springer Verlag 8
- AAAI Press 6
- CEUR-WS 5
- Springer International Publishing... 4
- ACM 2
- Kluwer Academic Publishers 2
- Morgan Kaufmann 2
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 57
- THEORY AND PRACTICE OF LOGIC PROG... 19
- CEUR WORKSHOP PROCEEDINGS 12
- ARTIFICIAL INTELLIGENCE 9
- AI COMMUNICATIONS 6
- ANNALS OF MATHEMATICS AND OF ARTI... 6
- FUNDAMENTA INFORMATICAE 6
- JOURNAL OF COMPUTER AND SYSTEM SC... 6
- IEEE TRANSACTIONS ON KNOWLEDGE AN... 4
- ACM TRANSACTIONS ON COMPUTATIONAL... 3
Serie
- CEUR WORKSHOP PROCEEDINGS 6
- LECTURE NOTES IN COMPUTER SCIENCE 5
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- OPEN ACCESS SERIES IN INFORMATICS 2
- COMMUNICATIONS IN COMPUTER AND IN... 1
Keyword
- Answer Set Programming 23
- answer set programming 20
- artificial intelligence 16
- nonmonotonic reasoning 10
- Answer set programming 9
- Artificial Intelligence 8
- Datalog 8
- magic sets 5
- aggregates 4
- Computer Science (all) 4
Lingua
- eng 330
- ita 7
- nor 1
Accesso al fulltext
- no fulltext 341