Conditional Obligations in Justification Logic.

Federico L. G. Faroldi Atefeh Rohani Thomas Studer

Published in: WoLLIC (2023)

Keyphrases

deontic logic
conditional logic
normative systems
logic programming
modal logic
nonmonotonic inference
multi valued
legal reasoning
classical logic
update semantics
conditional probabilities
predicate logic
utility function
asynchronous circuits
random field model
multiscale
reason maintenance