Papers authored by Nicola Leone
Refreshing results…
2001
Georg Gottlob,
Nicola Leone 
,
Francesco Scarcello
,
Francesco Scarcello
Hypertree Decompositions: A Survey
Download from www.researchgate.net
2000
Christoph Koch,
Nicola Leone
Stable Model Checking Made Easy
Download from www.researchgate.net
F. Buccafurri,
N. Leone ,
P. Rullo
,
P. Rullo
Enhancing Disjunctive Datalog by constraints
Download from www.researchgate.net
Georg Gottlob,
Nicola Leone ,
Francesco Scarcello
,
Francesco Scarcello
A comparison of structural CSP decomposition methods
Download from doi.org
Thomas Eiter,
Wolfgang Faber,
Nicola Leone ,
Gerald Pfeifer,
Axel Polleres
,
Gerald Pfeifer,
Axel Polleres
Planning under Incomplete Knowledge
Download from citeseerx.ist.psu.edu
1999
Georg Gottlob,
Nicola Leone ,
Helmut Veith
,
Helmut Veith
Succinctness as a source of complexity in logical formalisms
Download from doi.org
Wolfgang Faber,
Nicola Leone ,
Gerald Pfeifer
,
Gerald Pfeifer
Pushing Goal Derivation in DLP Computations
Download from www.researchgate.net
Francesco Buccafurri,
Thomas Eiter,
Georg Gottlob,
Nicola Leone
Enhancing Model Checking in Verification by AI Techniques
Download from doi.org
Georg Gottlob,
Nicola Leone ,
Francesco Scarcello
,
Francesco Scarcello
Hypertree Decompositions and Tractable Queries
Download from doi.org
1998
Georg Gottlob,
Nicola Leone ,
Francesco Scarcello
,
Francesco Scarcello
On Tractable Queries and Constraints
Download from www.researchgate.net
Thomas Eiter,
Nicola Leone ,
Cristinel Mateis,
Gerald Pfeifer,
Francesco Scarcello
,
Cristinel Mateis,
Gerald Pfeifer,
Francesco Scarcello
Progress Report on the Disjunctive Deductive Database System dlv
Download from www.researchgate.net
Missing publications? Search for publications with a matching author name.