Ulrich Furbach (furbach)

Contributions to Philosophie.ch

Bibliography

Baumgartner, Peter and Furbach, Ulrich. 1998. “Variants of Clausal Tableaux.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 73–102. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Baumgartner, Peter, Furbach, Ulrich and Stolzenburg, Frieder. 1997. “Computing Answers with Model Elimination.” Artificial Intelligence 90(1–2): 135–176.
Dix, Jürgen, Fariñas del Cerro, Luis and Furbach, Ulrich, eds. 1998. JELIA’98. Logics in Artificial Intelligence European Workshop, Dagstuhl, Germany, October 12-15, 1998. Berlin: Springer.
Furbach, Ulrich. 1998. “Introduction (to Part I: Tableau and Connection Calculi).” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 3–10. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Furbach, Ulrich. 2003. “AI – A Multiple Book Review.” Artificial Intelligence 145(1–2): 245–252.