Keyphrases
- knowledge base
- deductive reasoning
- theoretical framework
- proof theory
- knowledge representation
- general theory
- computational model
- commonsense reasoning
- horn clauses
- automated reasoning
- reasoning process
- logical framework
- reasoning systems
- causal reasoning
- analogical reasoning
- reasoning about actions
- action theories
- qualitative reasoning
- reasoning processes
- reasoning mechanisms
- first order logic
- machine learning