Christoph Benzmüller

3 papers in the IJCAI proceedings

IJCAI 2016

The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics

with Bruno Woltzenlogel Paleo

Details PDF

IJCAI 2013

Automating Quantified Conditional Logics in HOL

Details PDF

IJCAI 2003

Assertion Application in Theorem Proving and Proof Planning

with Quoc Bao Vo, Serge Autexier

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings