Reasoning in Abella about Structural Operational Semantics Specifications

Andrew Gacek Dale Miller Gopalan Nadathur

Published in: CoRR (2008)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
mental states
knowledge base
knowledge representation
activity diagrams
denotational semantics
expert systems
software development
agent programming