Prioritised Default Logic as Rational Argumentation.
Anthony P. YoungSanjay ModgilOdinaldo RodriguesPublished in: AAMAS (2016)
Keyphrases
- default logic
- default theories
- nonmonotonic reasoning
- default reasoning
- argumentation systems
- logic programming
- nonmonotonic logics
- soft constraints
- default rules
- autoepistemic logic
- modal logic
- fixed point
- classical logic
- answer set programming
- legal reasoning
- temporal logic
- constraint satisfaction
- defeasible logic
- logic programs
- pairwise
- reinforcement learning
- database