On Logic Embeddings and Gödel's God.
Christoph BenzmüllerBruno Woltzenlogel PaleoPublished in: WADT (2014)
Keyphrases
- low dimensional
- digital world
- dynamic logic
- formal theory
- logic programming
- predicate logic
- nonmonotonic logics
- computational properties
- classical logic
- automated reasoning
- sound and complete axiomatization
- modal logic
- vector space
- multi valued
- neural network
- euclidean space
- dimensionality reduction
- abductive reasoning
- pattern recognition
- genetic algorithm
- information retrieval