An Operational Semantics for a Fragment of the Puppet Configuration Language.

Weili Fu James Cheney Paul Anderson

Published in: CoRR (2016)

Keyphrases

operational semantics
formal semantics
model theoretic
agent programming
declarative semantics
mental states
denotational semantics
speech acts
reinforcement learning
multi agent
cooperative
expert systems
data model
mobile robot
integrity constraints