Using Inductive Counting to Simulate Nondeterministic Computation

Gerhard Buntrock Lane A. Hemachandra Dirk Siefkes

Published in: Inf. Comput. (1993)

Keyphrases

machine learning
inductive learning
finite state
efficient computation
finite automata
real time
real world
social networks
information systems
knowledge base
domain knowledge
markov chain
inductive logic programming
parallel computation
efficiently computing
inductive reasoning