Constructing Specification Morphisms.

Douglas R. Smith

Published in: J. Symb. Comput. (1993)

Keyphrases

specification language
high level
user defined
formal specification
data sets
real world
machine learning
information retrieval
artificial intelligence
search engine
image processing
reinforcement learning
expert systems