Toy(FD): Sketch of Operational Semantics.

Antonio J. Fernández Maria Teresa Hortalá-González Fernando Sáenz-Pérez

Published in: CP (2003)

Keyphrases

operational semantics
formal semantics
data model
mental states
model theoretic
declarative semantics
denotational semantics
agent programming
activity diagrams
multi agent
natural language processing
computational intelligence