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 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) (Michael Thielscher, Diego Calvanese, Esra Erdem, eds.), AAAI Press, 2020. (Preprint: https://www.researchgate.net/publication/342159229) [bibtex]