The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. Benzmüller, C. & Woltzenlogel Paleo, B. In IJCAI 2016, volume 1-3, pages 936-942, 2016. AAAI Press.
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics [pdf]Paper  The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics [link]Preprint  bibtex   

Downloads: 0