Logics for Propositional Determinacy and Independence.
Valentin GorankoAntti KuusistoPublished in: Rev. Symb. Log. (2018)
Keyphrases
- default logic
- coalition logic
- classical first order logic
- expressive power
- first order logic
- linearly ordered
- propositional logic
- propositional variables
- logic programming
- modal logic
- inference rules
- nonmonotonic logics
- conditional independence
- autoepistemic logic
- logical framework
- propositional dynamic logic
- nonmonotonic reasoning
- multi valued
- knowledge compilation
- epistemic logic
- computational properties
- independence assumption
- conjunctive queries
- classical logic
- decision procedures
- bayesian networks
- conditional logic
- statistical relational learning
- horn clauses
- inductive logic programming
- dynamic logic
- model checking
- propositional calculus
- satisfiability testing
- np complete
- logic programs
- graphical models