Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms.
Agata CiabattoniBjörn LellmannPublished in: DEON (2021)
Keyphrases
- conflict resolution
- extended logic programs
- rule based reasoning
- logical rules
- access control policies
- resolve conflicts
- production rules
- resolving conflicts
- social norms
- multi context systems
- reasoning mechanisms
- knowledge base
- default rules
- knowledge representation and reasoning
- exception handling
- reasoning systems
- inference rules
- modal logic
- case based reasoning
- knowledge representation
- collaborative design
- reasoning tasks
- business rules
- rule sets
- cut elimination
- first order logic