On-Line Papers of Nicola Leone

International Journals

S. Perri, F. Scarcello, N. Leone,
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation,
Journal of the Theory and Practice of Logic Programming, Cambridge University Press (di prossima
pubblicazione).

T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres,
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity,
ACM Transactions on Computational Logic, (di prossima pubblicazione).

C. Koch, N. Leone, G. Pfeifer,
Enhancing Disjunctive Logic Programming Systems by SAT Checkers
Artificial Intelligence, Elsevier, 2003 (di prossima pubblicazione).

N. Leone, F. Scarcello, V.S. Subrahmanian,
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation,
IEEE Transaction on Knowledge and Data Engineering, Vol. 16, 2004 (di prossima pubblicazione).

T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres,
Answer Set Planning under Action Costs,
Journal of Artificial Intelligence Research, Elsevier, Vol. 19, 2003, pp. 25–71.

T. Eiter, W. Faber, N. Leone, G. Pfeifer,
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretations in Answer Set Programming,
Journal of the Theory and Practice of Logic Programming, Cambridge University Press, Vol 3(4&5)
pp 463-498, 2003.

G. Gottlob, N. Leone, F. Scarcello,
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
Journal of Computer and System Sciences, Vol. 66, n. 4, 2003, pp. 775-808.

T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres,
A Logic Programming Approach to Knowledge-State Planning, II: The DLVK System,
Artificial Intelligence, Elsevier, Volume 144, N. 1 and 2, pp. 157-211, 2003.

M. Gelfond, N. Leone,
Logic Programming and Knowledge Representation — the A-Prolog perspective.
Artificial Intelligence, Elsevier, Volume 138, N. 1 and 2, June, 2002, pp. 3-38.

G. Gottlob, N. Leone, F. Scarcello,
Hypertree Decompositions and Tractable Queries,
Journal of Computer and System Sciences, 64(3): 579-627, 2002.

G. Gottlob, N. Leone, and F. Scarcello.
Computing LOGCFL Certificates,
Theoretical Computer Science, Elsevier, 270(1-2), pp. 761-777, January, 2002.

G. Gottlob, N. Leone, and F. Scarcello. The Complexity of Acyclic Conjunctive Queries,
Journal of the ACM, 48(3), May 2001, pp. 431–498.

F. Buccafurri, T. Eiter, G. Gottlob, N. Leone,
On ACTL Formulas Having Deterministic Counterexamples,
Journal of Computer and System Sciences. 62(3), May, 2001, pp. 463–515.
12

F. Buccafurri, N. Leone, W. Faber,
Disjunctive Logic Programs with Inheritance
Journal of the Theory and Practice of Logic Programming, Cambridge University Press, Vol. 2(3),
May 2002, pp. 293–321.

F. Buccafurri, N. Leone, P. Rullo,
Enhancing Disjunctive Datalog by Constraints,
IEEE Transactions on Knowledge and Data Engineering, 12(5), Ottobre 2000, pp. 845–860.

G. Gottlob, N. Leone, F. Scarcello,
A Comparison of Structural CSP Decomposition Methods,
Artificial Intelligence Vol. 124, N. 2, Elsevier,
Dicembre 2000, pp. 243-282