Peter Baumgartner (baumgartner-p)

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.
Baumgartner, Peter and Kühn, Michael. 2000. “Abducing Coreference by Model Construction.” Journal of Language and Computation 2(1): 175–190.
Baumgartner, Peter and Petermann, Ulrike. 1998. “Theory Reasoning.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 191–224. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.