Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem.
Christoph BeierleChristian EichhornGabriele Kern-IsbernerSteven KutschPublished in: Ann. Math. Artif. Intell. (2018)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- nonmonotonic inference
- knowledge base
- constraint propagation
- constraint programming
- search space
- np complete
- constraint solving
- non binary
- arc consistency
- forward checking
- constraint networks
- probabilistic reasoning
- np hard
- soft constraints
- partial constraint satisfaction
- hard constraints
- constraint graph
- nonmonotonic reasoning
- decomposition methods
- constraint problems
- bayesian networks
- conditional logic
- logic programming
- finite domain
- temporal constraints
- distributed constraint satisfaction
- knowledge representation
- special case
- disjunctive temporal
- pseudo boolean optimization