A Coupled Operational Semantics for Goals and Commitments.

Pankaj R. Telang Munindar P. Singh Neil Yorke-Smith

Published in: J. Artif. Intell. Res. (2019)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
declarative semantics
denotational semantics
databases
data model
activity diagrams
multiagent systems
agent programming
knowledge base
machine learning
case study
knowledge representation