Keyphrases
- automated deduction
- commonsense reasoning
- nonmonotonic reasoning
- logic programming
- event calculus
- incomplete information
- theorem proving
- knowledge representation
- deductive databases
- theorem prover
- inference rules
- classical logic
- missing information
- logic programs
- formal theory
- programming language
- partially ordered
- autoepistemic logic
- answer set programming
- missing data
- database