Keyphrases
- default reasoning
- conflict resolution
- belief revision
- possibilistic logic
- nonmonotonic reasoning
- resolve conflicts
- default logic
- partial order
- dependency directed backtracking
- conditional logic
- access control policies
- probabilistic logic
- default rules
- probabilistic reasoning
- propositional logic
- logic programming
- extended logic programs
- resolving conflicts
- inheritance reasoning
- proof theory
- artificial intelligence
- collaborative design
- programming language
- general purpose
- machine learning