An ALC Description Default Logic with Exceptions-First.
Debora Farias FrotaAna Teresa C. MartinsJoão F. L. AlcântaraLuis Henrique BustamantePublished in: BRACIS (2014)
Keyphrases
- default logic
- default rules
- default theories
- default reasoning
- nonmonotonic reasoning
- logic programming
- description logics
- nonmonotonic logics
- commonsense reasoning
- autoepistemic logic
- fixed point
- modal logic
- high level
- classical logic
- possibility theory
- general purpose
- truth maintenance systems
- fuzzy description logics
- constraint propagation
- defeasible logic
- logic programs
- reinforcement learning
- image segmentation