Logic oriented program synthesis

Christoph Kreitz Gerd Neugebauer Bertram Fronhöfer

Published in: Forschungsberichte, TU Munich (1988)

Keyphrases

program synthesis
recursive programs
inductive logic programming
logic programming
domain knowledge
database systems
multi valued
classical logic
high level
support vector
np hard
low level
logic programs
modal logic
early vision