A Strucutral Co-Induction Theorem.

Jan J. M. M. Rutten

Published in: MFPS (1993)

Keyphrases

rule induction
inductive learning
real time
intuitionistic logic
machine learning
von neumann
constructive induction

data structure
inductive logic programming
oblique decision trees
program synthesis
discovery process
explanation based learning
evolutionary algorithm

web services
image processing
concept learning
domain knowledge
learning environment
version space

concept formation
three dimensional
inductive reasoning
functional programs
data mining
database