Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Karam Kharraz
Publications
Timed Dyadic Deontic Logic
Karam Kharraz
,
Martin Leucker
and
Gerardo Schneider
EasyChair Preprint 6918
Keyphrases
conflict resolution
,
deontic logic
,
Normative specification
,
trace semantics
.
Copyright © 2012-2024 easychair.org. All rights reserved.