Commonsense Reasoning Meets Theorem Proving.
Ulrich FurbachClaudia SchonPublished in: Bridging@IJCAI (2016)
Keyphrases
- theorem proving
- commonsense reasoning
- first order logic
- incomplete information
- nonmonotonic reasoning
- knowledge representation
- event calculus
- automated reasoning
- theorem prover
- inference rules
- decision procedures
- proof procedure
- parallel search
- missing information
- classical logic
- formal theory
- geometry theorem proving
- autoepistemic logic
- consequence finding
- default reasoning
- model theoretic
- data mining
- situation calculus
- integrity constraints
- background knowledge
- logic programming
- proof planning
- probabilistic model
- machine learning