Login / Signup

Operational Semantics of an Extension of ODRL Able to Express Obligations.

Nicoletta FornaraMarco 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