Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers.
Christoph BenzmüllerBruno Woltzenlogel PaleoPublished in: ECAI (2014)
Keyphrases
- automated theorem provers
- higher order
- computer algebra
- pairwise
- high order
- markov random field
- natural images
- theorem prover
- low order
- knowledge representation
- domain specific
- ontological engineering
- neural network
- lower order
- digital world
- conditional random fields
- lambda calculus
- context dependent
- semi automatic
- information systems
- artificial intelligence