Benzmüller, Christoph

3 publications

IJCAI 2016 The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics Christoph Benzmüller, Bruno Woltzenlogel Paleo

AAAI 2005 Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs Christoph Benzmüller, Quoc Bao Vo

IJCAI 2003 Assertion Application in Theorem Proving and Proof Planning Quoc Bao Vo, Christoph Benzmüller, Serge Autexier