Sign in
Local actions for a curry-style operational semantics.
Gordon Stewart
Andrew W. Appel
Published in:
PLPV (2011)
Keyphrases
</>
operational semantics
formal semantics
speech acts
data model
mental states
denotational semantics
model theoretic
decision theoretic
declarative semantics
agent programming
database
multi agent
mobile robot
situation calculus
reasoning about actions
partial observability