A system for modal and deontic defeasible reasoning.
Grigoris AntoniouNikos DimaresisGuido GovernatoriPublished in: SAC (2008)
Keyphrases
- defeasible reasoning
- legal reasoning
- nonmonotonic logics
- modal logic
- conditional logic
- classical logic
- defeasible logic
- nonmonotonic reasoning
- temporal logic
- argumentation systems
- formal semantics
- case based reasoning
- default logic
- inference rules
- information systems
- propositional logic
- machine learning
- fuzzy sets
- general purpose
- artificial intelligence