A (simplified) supreme being necessarily exists, says the computer : Computationally explored variants of Gödel's ontological argument
Benzmüller, Christoph (2020): A (simplified) supreme being necessarily exists, says the computer : Computationally explored variants of Gödel’s ontological argument, in: Diego Calvanese und Esra Erdem (Hrsg.), Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), S. 779–789.
Faculty/Chair:
Author:
Title of the compilation:
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Editors:
Calvanese, Diego
Erdem, Esra
Conference:
17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
Year of publication:
2020
Pages:
ISBN:
9780999241172
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
URI:
Activation date:
October 5, 2026

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/117505