A Finitary Version of the Calculus of Partial Inductive Defintions.

Lars-Henrik Eriksson

Published in: ELP (1991)

Keyphrases

finite state
concept learning
inductive learning
markov chain
inductive inference
inductive reasoning
database systems
inductive logic programming
answer set programming
automated theorem proving