Impossible and Conflicting Obligations in Justification Logic.
Federico L. G. FaroldiMeghdad GhariEveline LehmannThomas StuderPublished in: CoRR (2023)
Keyphrases
- deontic logic
- normative systems
- classical logic
- automated reasoning
- neural network
- nonmonotonic logics
- predicate logic
- logic programming
- update semantics
- asynchronous circuits
- logical framework
- computational properties
- sound and complete axiomatization
- probabilistic logic
- agent architecture
- multi agent systems
- multi agent