Operational Semantics for DyLPs.

Federico Banti José Júlio Alferes Antonio Brogi

Published in: EPIA (2005)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
mental states
denotational semantics
activity diagrams
agent programming
declarative semantics
speech acts