The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics.
Christoph BenzmüllerBruno Woltzenlogel PaleoPublished in: IJCAI (2016)
Keyphrases
- knowledge representation
- artificial intelligence
- argumentation theory
- ai systems
- expert systems
- intelligent systems
- case based reasoning
- valued logic
- lecture notes in artificial intelligence
- digital entertainment
- ai community
- domain specific
- conceptual modeling
- domain ontology
- formal representation
- success factors
- integrity checking
- ai technologies
- legal knowledge
- knowledge based systems
- neural network
- story generation
- story telling
- data sets