Bruno Woltzenlogel Paleo

Australian National University

1 paper in the IJCAI proceedings

IJCAI 2016

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

with Christoph Benzmüller

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings