Commonsense Reasoning meets Theorem Proving.
Ulrich FurbachClaudia SchonPublished in: URANIA@AI*IA (2016)
Keyphrases
- theorem proving
- commonsense reasoning
- first order logic
- incomplete information
- nonmonotonic reasoning
- knowledge representation
- event calculus
- decision procedures
- automated reasoning
- inference rules
- theorem prover
- parallel search
- proof planning
- consequence finding
- proof procedure
- geometry theorem proving
- classical logic
- formal theory
- missing information
- deductive databases
- logic programming
- description logics