Search: C55
2016
[1]The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In IJCAI 2016 (Subbarao Kambhampati, ed.), AAAI Press, volume 1-3, pp. 936-942, 2016. (poster, proceedings-version) (Url: http://www.ijcai.org/Proceedings/16/Papers/137.pdf; Preprint: https://www.researchgate.net/publication/301295955) [bibtex]