Keyphrases
- default logic
- coalition logic
- classical first order logic
- expressive power
- first order logic
- propositional logic
- linearly ordered
- modal logic
- propositional variables
- logic programming
- nonmonotonic logics
- autoepistemic logic
- classical logic
- inference rules
- multi valued
- horn logic
- logical framework
- default theories
- probabilistic logic
- prime implicates
- dynamic logic
- model theoretic
- data sets
- decision procedures
- knowledge compilation
- conditional logic
- statistical relational learning
- horn clauses
- default reasoning
- nonmonotonic reasoning
- theorem proving
- model checking
- knowledge representation
- bayesian networks
- neural network