Modal logic and the approximation induction principle.
Maciej GazdaWan J. FokkinkPublished in: Math. Struct. Comput. Sci. (2012)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- classical logic
- situation calculus
- default logic
- nonmonotonic logics
- approximation algorithms
- machine learning
- dynamic logic
- conditional logic
- free energy
- inductive learning
- description logic alc
- error bounds
- belief revision
- model checking
- multi agent