Closure Induction in a Z-Like Language.

David A. Duffy Jürgen Giesl

Published in: ZB (2000)

Keyphrases

programming language
conceptual graphs
functional programs
inductive learning
explanation based learning
specification language
neural network
machine learning
information systems
multi agent systems
inductive inference
rule induction
linguistic knowledge
english language
program synthesis
inductive bias