An Introduction to Mechanized Reasoning.
Manfred KerberChristoph LangeColin RowatPublished in: CoRR (2016)
Keyphrases
- knowledge base
- knowledge processing
- data sets
- knowledge representation
- reasoning systems
- reasoning process
- reasoning tasks
- real time
- reasoning engine
- resource bounded
- model based reasoning
- knowledge representation and reasoning
- decision trees
- meta level
- logical framework
- default reasoning
- logic programs
- website
- information retrieval
- database