Keyphrases
- default reasoning
- constraint networks
- temporal reasoning
- tree decomposition
- belief revision
- constraint satisfaction problems
- constraint satisfaction
- dependency directed backtracking
- nonmonotonic reasoning
- set intersection
- conditional logic
- probabilistic reasoning
- default logic
- probabilistic logic
- default rules
- partial order
- path consistency
- constraint programming
- inheritance reasoning
- arc consistency
- constraint language
- proof theory
- default theories
- constraint graph
- temporal constraints
- np hard
- video sequences