Nicola Leone (leone-n)

Beiträge zu Philosophie.ch

Bibliography

Buccafurri, Francesco, Eiter, Thomas, Gottlob, Georg and Leone, Nicola. 1999. “Enhancing Model Checking in Verification by AI Techniques.” Artificial Intelligence 112(1–2): 57–104.
Buccafurri, Francesco, Leone, Nicola and Rullo, Pasquale. 1998. “Disjunctive Ordered Logic: Semantics and Expressiveness.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 416–429. San Francisco, California: Morgan Kaufmann Publishers.
Eiter, Thomas, Faber, Wolfgang, Leone, Nicola and Pfeifer, Gerald. 2000. “Declarative Problem-Solving in DLV.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 79–103. Dordrecht: Kluwer Academic Publishers.
Eiter, Thomas, Gottlob, Georg and Leone, Nicola. 1997. “Semantics and Complexity of Abduction from Default Theories.” Artificial Intelligence 90(1–2): 177–233.
Eiter, Thomas, Leone, Nicola, Mateis, Cristinel, Pfeifer, Gerald and Scarcello, Francesco. 1998. “The KR System dlv: Progress Report, Comparisons and Benchmarks.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 406–417. San Francisco, California: Morgan Kaufmann Publishers.
Gelfond, Michael, Leone, Nicola and Pfeifer, Gerald, eds. 1999. Logic Programming and Nonmonotonic Reasoning: Proceedings of the 5th International Conference, LPNMR ’99, El Paso, Texas, December 2–4, 1999. Lecture Notes in Artificial Intelligence n. 1730. Berlin: Springer.
Gottlob, Georg, Leone, Nicola and Scarello, Francesco. 2000. “A Comparison of Structural CSP Decomposition Methods.” Artificial Intelligence 124(2): 243–282.
Koch, Christof, Leone, Nicola and Pfeifer, Gerald. 2003. “Enhancing Disjunctive Logic Programming Systems by SAT Checkers.” Artificial Intelligence 151(1–2): 177–212.