Program Synthesis by Completion with Dependent Subtypes.

Published in: CADE (1988)

Keyphrases

program synthesis
breast cancer
database
training data
information retrieval
high level
inductive logic programming
recursive programs
artificial intelligence
knowledge representation
cancer diagnosis