Reasoning in Abella about Structural Operational Semantics Specifications.

Andrew Gacek Dale Miller Gopalan Nadathur

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
knowledge base
denotational semantics
data model
agent programming
reinforcement learning
knowledge representation
automated reasoning
speech acts
machine learning
object oriented
natural language processing
activity diagrams