Keyphrases
- nonmonotonic logics
- modal logic
- inference rules
- default logic
- nonmonotonic reasoning
- epistemic logic
- defeasible logic
- deontic logic
- propositional logic
- temporal logic
- classical logic
- high level
- modal operators
- default theories
- automated reasoning
- logic programming
- dynamic logic
- predicate logic
- data sets
- transition systems
- semantic interpretation
- multi valued
- theorem proving
- image interpretation
- situation calculus
- case study
- real time
- valued semantics