A domain-theoretic semantics of lax generic functions.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

domain specific
logic programming
domain independent
formal semantics
real world
decision trees
domain knowledge
uml class diagrams
database
neural network
learning algorithm
artificial intelligence
search engine
domain ontology