Propositional Logics of Dependence and Independence, Part I.
Fan YangJouko VäänänenPublished in: CoRR (2014)
Keyphrases
- dependence structure
- default logic
- independence assumption
- first order logic
- expressive power
- propositional logic
- coalition logic
- linearly ordered
- classical first order logic
- nonmonotonic logics
- table of contents
- propositional variables
- modal logic
- autoepistemic logic
- logic programming
- inference rules
- propositional calculus
- nonmonotonic reasoning
- multi valued
- epistemic logic
- statistical relational learning
- satisfiability testing
- dynamic logic
- marginal distributions
- conditional logic
- default reasoning
- decision procedures
- computational properties
- classical logic
- knowledge compilation
- probabilistic logic