Inductive assertions and operational semantics.

J Strother Moore

Published in: Int. J. Softw. Tools Technol. Transf. (2006)

Keyphrases

operational semantics
formal semantics
model theoretic
knowledge base
mental states
denotational semantics
data model
machine learning
activity diagrams
inductive logic programming
declarative semantics
knowledge representation
mobile robot
game theoretic
software engineering
agent programming
databases
database