An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.
Joeri EngelfrietJan TreurPublished in: J. Log. Lang. Inf. (1998)
Keyphrases
- default logic
- epistemic logic
- modal logic
- default theories
- nonmonotonic logics
- default reasoning
- autoepistemic logic
- minimal models
- inference rules
- nonmonotonic reasoning
- classical logic
- temporal logic
- default rules
- model checking
- dynamic epistemic logic
- temporal reasoning
- logical framework
- fixed point
- logic programming
- high level
- multi agent systems
- temporal information
- model checker
- mathematical theory
- probability distribution