Keyphrases
- deductive reasoning
- probabilistic logic
- first order logic
- proof procedure
- knowledge base
- knowledge representation
- propositional logic
- model based reasoning
- multi valued
- knowledge representation and reasoning
- analogical reasoning
- automated reasoning
- reasoning process
- rule based reasoning
- truth maintenance systems
- default logic
- formal models