Modal Logic for Default Reasoning.
V. Wiktor MarekMiroslaw TruszczynskiPublished in: Ann. Math. Artif. Intell. (1990)
Keyphrases
- modal logic
- default reasoning
- default logic
- conditional logic
- nonmonotonic reasoning
- temporal logic
- belief revision
- decision procedures
- default theories
- nonmonotonic logics
- inference rules
- epistemic logic
- proof theory
- dependency directed backtracking
- classical logic
- default rules
- probabilistic logic
- situation calculus
- autoepistemic logic
- prime implicates
- inheritance reasoning
- probabilistic reasoning
- dynamic logic
- partial order
- logic programming
- domain knowledge
- knowledge base