A System for Modal and Deontic Defeasible Reasoning.
Grigoris AntoniouNikos DimaresisGuido GovernatoriPublished in: Australian Conference on Artificial Intelligence (2007)
Keyphrases
- defeasible reasoning
- legal reasoning
- nonmonotonic logics
- modal logic
- conditional logic
- classical logic
- defeasible logic
- nonmonotonic reasoning
- formal semantics
- temporal logic
- argumentation systems
- inference rules
- case based reasoning
- default logic
- propositional logic
- neural network
- default reasoning
- belief revision
- machine learning
- argumentation frameworks
- information systems