Recursively Defined Domains and Their Induction Principles.

Finn Verner Jensen Kim Guldstrand Larsen

Published in: FSTTCS (1985)

Keyphrases

databases
database
cross domain
program synthesis
application domains
decision making
website
multiscale
search algorithm
artificial intelligence
user defined
coarse to fine
inductive learning
machine learning
complex domains
version space
real world