Aggregative Deontic Detachment for Normative Reasoning.
Xavier ParentLeon van der TorrePublished in: KR (2014)
Keyphrases
- knowledge base
- deontic logic
- legal reasoning
- conflicting information
- model based reasoning
- meta level
- automated reasoning
- reasoning process
- classical logic
- causal reasoning
- reasoning systems
- computational properties
- neural network
- probabilistic logic
- multi agent systems
- spatial reasoning
- consistency checking
- probabilistic reasoning
- reasoning problems
- multi agent
- normative systems