This subdirectory contains datasets for the following articles and papers:
- 2020-KR: A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel’s Ontological Argument (Christoph Benzmüller), In KR 2020. [Preprint]
- 2020-BSL: Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (Christoph Benzmüller, David Fuenmayor), In Bulletin of the Section of Logic, Department of Logic, University of Lodz, 2020. [Preprint]
- 2016-IJCAI: 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]