Keyphrases
- inference rules
- inconsistent knowledge
- valued semantics
- truth values
- expressive power
- classical logic
- modal logic
- valued logic
- logic programming
- possibilistic logic
- first order logic
- epistemic logic
- logical framework
- real time
- nonmonotonic logics
- inheritance reasoning
- consistent query answering
- proof procedures
- computer vision
- real world
- propositional calculus
- decision making
- multi valued