Keyphrases
- theorem proving
- commonsense reasoning
- first order logic
- incomplete information
- nonmonotonic reasoning
- event calculus
- knowledge representation
- theorem prover
- automated reasoning
- decision procedures
- inference rules
- parallel search
- missing information
- formal theory
- classical logic
- geometry theorem proving
- autoepistemic logic
- proof procedure
- proof planning
- consequence finding
- probabilistic reasoning
- reasoning tasks
- deductive databases
- belief revision
- expressive power
- machine learning