Modal independence logic.
Juha KontinenJulian-Steffen MüllerHenning SchnoorHeribert VollmerPublished in: J. Log. Comput. (2017)
Keyphrases
- modal logic
- nonmonotonic logics
- classical logic
- temporal logic
- dynamic logic
- modal operators
- transition systems
- epistemic logic
- neural network
- multi valued
- proof theory
- propositional dynamic logic
- data sets
- predicate logic
- computational properties
- independence assumption
- conditional independence
- propositional logic
- inference rules
- website
- artificial intelligence
- genetic algorithm