Keyphrases
- deductive reasoning
- probabilistic logic
- propositional logic
- proof procedure
- knowledge base
- reasoning process
- first order logic
- truth maintenance systems
- analogical reasoning
- reasoning tasks
- automated reasoning
- theoretical analysis
- knowledge representation
- spatial reasoning
- default logic
- legal reasoning
- machine learning
- strips planning
- nonmonotonic reasoning
- probabilistic reasoning
- search algorithm
- learning algorithm