Constructing Natural Extensions of Propositional Logics.
Adam PrenosilPublished in: Stud Logica (2016)
Keyphrases
- default logic
- default theories
- first order logic
- modal logic
- nonmonotonic logics
- expressive power
- knowledge representation formalisms
- autoepistemic logic
- inference rules
- classical first order logic
- propositional logic
- nonmonotonic reasoning
- default reasoning
- classical logic
- data sets
- horn clauses
- truth maintenance systems
- knowledge representation
- linearly ordered
- real world