Sanction Semantics and Contrary-to-Duty Obligations.

Louwe B. Kuijer

Published in: DEON (2012)

Keyphrases

update semantics
normative systems
logical framework
logic programming
formal semantics
semantic representation
high level
agent architecture
deontic logic
databases
database systems
relational databases
programming language
intelligent agents
default reasoning
transformation rules