Sign in
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument.
Christoph Benzmüller
Published in:
KR (2020)
Keyphrases
</>
machine learning
bayesian networks
artificial neural networks
computer systems
computer technology
search engine
evolutionary algorithm
knowledge representation
computer programs
computer architecture
computer software