Keyphrases
- default logic
- classical first order logic
- coalition logic
- first order logic
- expressive power
- modal logic
- propositional variables
- logic programming
- propositional logic
- linearly ordered
- autoepistemic logic
- inference rules
- multi valued
- nonmonotonic logics
- classical logic
- propositional calculus
- horn logic
- prime implicates
- nonmonotonic reasoning
- sound and complete axiomatization
- satisfiability testing
- data sets
- proof procedure
- truth values
- probabilistic logic
- horn clauses
- default reasoning
- neural network