Operational Semantics of Annotated Reflex Programs.

Igor S. Anureev

Published in: Autom. Control. Comput. Sci. (2020)

Keyphrases

operational semantics
declarative semantics
agent programming
formal semantics
model theoretic
mental states
machine learning
data model
control program
activity diagrams
software engineering
denotational semantics
knowledge base
deductive databases
automatic programming