LEONE, Nicola

LEONE, Nicola  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 341 (tempo di esecuzione: 0.049 secondi).
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.
A Deductive System far Non-Monotonic Reasoning 1-gen-1997 Eiter, T; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F.
A DLP System with Object-Oriented Features 1-gen-2005 Ricca, Francesco; Leone, Nicola; DE BONIS, V; Dellarmi, T; Galizia, S; Grasso, G.
A DLV-based Reasoner for Datalog+/- Languages 1-gen-2012 Gottlob, G; Leone, Nicola; Manna, Marco; Pieris, A.
A Formal Comparison between Datalog-based Languages for Stream Reasoning 1-gen-2022 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
A GeneraI Method to Determine the Expression Complexity of Database Query Languages 1-gen-1998 Gottlob, G; Leone, Nicola; Veith, H.
A graphic tool for ontology reasoning under Datalog∃ 1-gen-2013 Febbraro, O; Leone, Nicola; Ricca, F; Terracina, Giorgio; Veltri, P.
A Language for Updating Logic Programs 1-gen-1995 Leone, Nicola; Palopoli, L; Romeo, M.
A Language for Updating Logic Programs and its Implementation 1-gen-1995 Leone, Nicola; Palopoli, Luigi; M., Romeo
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 1-gen-2003 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 1-gen-2004 T., Eiter; Faber, Wolfgang; Leone, Nicola; G., Pfeifer; A., Polleres