Gerald Pfeifer (pfeifer-ge)

Contributions à Philosophie.ch

Bibliography

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, 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.
Koch, Christof, Leone, Nicola and Pfeifer, Gerald. 2003. “Enhancing Disjunctive Logic Programming Systems by SAT Checkers.” Artificial Intelligence 151(1–2): 177–212.