Sequence Semantics for Norms and Obligations.

Guido Governatori Francesco Olivieri Erica Calardo Antonino Rotolo

Published in: DEON (2016)

Keyphrases

update semantics
normative systems
logical framework
formal semantics
logic programming
event sequences
deontic logic
semantic information
genetic algorithm
case study
multi agent systems
sequence analysis