Timed Dyadic Deontic Logic.

Karam Younes Kharraz Martin Leucker Gerardo Schneider

Published in: JURIX (2021)

Keyphrases

deontic logic
petri net
knowledge representation language
timed automata
legal reasoning
inference rules
update semantics
discrete event
nonmonotonic logics
training data
bayesian networks
dynamical systems
qualitative and quantitative
colored petri nets