Keyphrases
- inference rules
- valued semantics
- inconsistent knowledge
- truth values
- classical logic
- modal logic
- logic programming
- expressive power
- valued logic
- outlier detection
- default logic
- euclidean distance
- proof procedures
- distance measure
- possibilistic logic
- consistent query answering
- nonmonotonic logics
- epistemic logic
- database
- databases
- propositional calculus
- logical framework
- case study
- artificial intelligence
- first order logic
- knowledge based systems
- similarity measure