A modal logic for reasoning on consistency and completeness of regulations.
Christophe GarionStéphanie RousselLaurence CholvyPublished in: Normative Multi-Agent Systems (2009)
Keyphrases
- modal logic
- consistency checking
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- epistemic logic
- situation calculus
- default logic
- reasoning systems
- reasoning tasks
- logical framework
- classical logic
- legal reasoning
- prime implicates
- conditional logic
- dynamic logic
- description logic alc
- knowledge representation and reasoning
- knowledge representation
- automated reasoning
- autoepistemic logic
- model checking
- default reasoning
- incomplete information
- maximal tractable
- knowledge base