Induction-recursion and initial algebras.

Peter Dybjer Anton Setzer

Published in: Ann. Pure Appl. Log. (2003)

Keyphrases

complex objects
deductive databases
machine learning
temporal reasoning
inductive inference
database
neural network
information retrieval
decision making
evolutionary algorithm
inductive learning
concept learning
rule induction
distributive lattices