Keyphrases
- global consistency
- globally consistent
- abductive reasoning
- np complete
- path consistency
- set intersection
- constraint satisfaction
- temporal constraints
- consistency checking
- computational complexity
- logic programming
- background knowledge
- tractable subclasses
- belief revision
- convex constraints
- reasoning tasks
- causal networks
- database
- database systems
- knowledge base