SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications.

Pierre Flener Yves Deville

Published in: LPE (1992)

Keyphrases

program synthesis
recursive programs
inductive logic programming
delay insensitive
logic programs
logic programming
missing values
asynchronous circuits
neural network
expert systems
general purpose
programming language
learning rules
formal language
predicate logic