Keyphrases
- proof theory
- automated reasoning
- deductive reasoning
- computational properties
- order of magnitude reasoning
- human reasoning
- logical framework
- logical inference
- intuitionistic logic
- reasoning engine
- proof theoretic
- reasoning systems
- set theory
- commonsense reasoning
- probabilistic logic
- horn logic
- knowledge representation
- knowledge base
- classical logic
- derivation rules
- rough sets
- knowledge representation formalisms
- abductive reasoning
- reasoning process
- multi valued
- probabilistic knowledge
- modal logic
- logical rules
- formal theory
- scientific discovery
- logic programs
- logic programming
- reasoning about actions
- default reasoning
- logical formulas
- qualitative reasoning
- expressive power
- theorem proving
- production rules
- model based diagnosis
- proof procedure
- probabilistic reasoning
- reasoning problems
- predicate logic