The Inconsistency in Gdel's Ontological Argument: A Success Story for AI in Metaphysics.

Christoph Benzmller, Bruno Woltzenlogel Paleo

Browse the full IJCAI paper archive.