Impossible and Conflicting Obligations in Justification Logic.
Federico L. G. FaroldiMeghdad GhariPublished in: DEON (2021)
Keyphrases
- deontic logic
- normative systems
- logic programming
- multi valued
- predicate logic
- databases
- legal reasoning
- classical logic
- sound and complete axiomatization
- real time
- nonmonotonic logics
- computational properties
- agent architecture
- inference rules
- cooperative
- multiscale
- information systems
- artificial intelligence
- information retrieval
- neural network