Using Inductive Counting to Simulate Nondeterministic Computation.

Gerhard Buntrock Lane A. Hemachandra Dirk Siefkes

Published in: MFCS (1990)

Keyphrases

inductive learning
finite state
data sets
machine learning
special case
inductive logic programming
efficient computation
decision trees
database systems
similarity measure
knowledge representation
model checking
inductive reasoning
inductive concept learning