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