Operational semantics of proto.

Mirko Viroli Jacob Beal Kyle Usbeck

Published in: Sci. Comput. Program. (2013)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
declarative semantics
denotational semantics
data model
activity diagrams
knowledge representation
e learning
query language
intelligent agents
agent programming