Login / Signup
Operational Semantics of an Extension of ODRL Able to Express Obligations.
Nicoletta Fornara
Marco Colombetti
Published in:
EUMAS/AT (2017)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
mental states
declarative semantics
denotational semantics
deontic logic
agent programming
data model
speech acts