Reasoning with Bounded Self-reference Using Logical Interpreters.
Daniel GorínLutz SchröderThorsten WißmannPublished in: Description Logics (2013)
Keyphrases
- logical reasoning
- logical rules
- probabilistic logic
- logical framework
- knowledge base
- representing knowledge
- automated reasoning
- knowledge representation
- reasoning process
- logical operations
- probabilistic knowledge
- formal models
- reasoning systems
- reasoning tasks
- formal semantics
- virtual machine
- representation language
- meta level
- description language
- reference frame
- operating system
- case study