Keyphrases
- probabilistic logic
- deductive reasoning
- proof procedure
- propositional logic
- knowledge base
- reasoning process
- reasoning systems
- knowledge representation and reasoning
- qualitative reasoning
- knowledge representation
- polynomial hierarchy
- model based reasoning
- first order logic
- default logic
- probabilistic reasoning
- disjunctive logic programming
- reasoning tasks
- default reasoning
- logic programs