Search: C85
2020
[1]A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument (Christoph Benzmüller), In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, IJCAI organization, pp. 779--789, 2020. [bibtex] [doi] [url]