Keyphrases
- nonmonotonic logics
- epistemic logic
- classical logic
- inference rules
- modal logic
- case study
- valued semantics
- genetic algorithm
- belief revision
- propositional logic
- nonmonotonic reasoning
- temporal relations
- possibility theory
- logical framework
- logic programming
- programming language
- predicate logic
- truth values
- data model
- deontic logic