Keyphrases
- default logic
- first order logic
- expressive power
- classical first order logic
- coalition logic
- propositional logic
- modal logic
- linearly ordered
- propositional variables
- logic programming
- autoepistemic logic
- inference rules
- multi valued
- conditional logic
- fuzzy systems
- default reasoning
- nonmonotonic logics
- strips planning
- neural network
- horn logic
- computational properties
- nonmonotonic reasoning
- fuzzy inference system
- propositional calculus
- dynamic logic
- fuzzy c means
- sound and complete axiomatization
- truth maintenance systems
- proof procedure
- epistemic logic
- default theories
- classical logic
- logical framework
- probabilistic logic