A (Simplified) Supreme Being Necessarily Exists, says the Computer : Computationally Explored Variants of Gödel's Ontological Argument





Author(s): Benzmüller, Christoph  
Title of the Journal: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning
ISSN: 2334-1033
Conference: 17th International Conference on Principles of Knowledge Representation and Reasoning, September 12-18, 2020, Rhodes, Greece
Publisher Information: IJCAI Organization
Year of publication: 2020
Pages: 779-789
ISBN: 978-0-9992411-7-2
Language(s): English
DOI: 10.24963/kr.2020/80
URL: https://proceedings.kr.org/2020/80/
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/55649
Release Date: 21. September 2022