Tackling Benchmark Problems of Commonsense Reasoning.
Ulrich FurbachAndrew S. GordonClaudia SchonPublished in: Bridging@CADE (2015)
Keyphrases
- benchmark problems
- commonsense reasoning
- incomplete information
- nonmonotonic reasoning
- simulated annealing
- event calculus
- test problems
- knowledge representation
- optimization problems
- job shop scheduling problem
- missing information
- formal theory
- autoepistemic logic
- belief revision
- qualitative and quantitative
- video sequences
- positive and negative
- logic programming
- nonmonotonic logics
- neural network