Keyphrases
- inference rules
- valued semantics
- inconsistent knowledge
- truth values
- expressive power
- valued logic
- logic programming
- classical logic
- modal logic
- propositional logic
- data structure
- epistemic logic
- default logic
- case study
- decision making
- logical framework
- query language
- evolutionary algorithm
- video sequences
- proof theoretic
- information systems
- propositional calculus
- real world