Constrained and Rational Default Logics.
Artur MikitiukMiroslaw TruszczynskiPublished in: IJCAI (1995)
Keyphrases
- default logic
- default theories
- logic programming
- nonmonotonic reasoning
- default reasoning
- autoepistemic logic
- default rules
- fixed point
- modal logic
- knowledge representation formalisms
- nonmonotonic logics
- disjunctive logic programs
- artificial intelligence
- defeasible logic
- truth maintenance systems
- minimal models
- programming language
- extended logic programs
- higher order