From Operational Semantics to Domain Theory.

Ian A. Mason Scott F. Smith Carolyn L. Talcott

Published in: Inf. Comput. (1996)

Keyphrases

operational semantics
domain theory
explanation based learning
domain knowledge
inductive learning
formal semantics
background knowledge
complex domains
data model
training examples
mental states
knowledge based neural networks
activity diagrams
machine learning
relational databases
support vector
databases