Modal Logic and the Approximation Induction Principle
Maciej GazdaWan J. FokkinkPublished in: EXPRESS (2009)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- epistemic logic
- prime implicates
- conditional logic
- default logic
- model checking
- inductive learning
- situation calculus
- approximation algorithms
- error bounds
- nonmonotonic logics
- artificial intelligence
- desirable properties
- free energy
- logic programs
- knowledge representation
- dynamic logic