Equivalents of the finitary non-deterministic inductive definitions.

Ayana Hirata Hajime Ishihara Tatsuji Kawai Takako Nemoto

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

Keyphrases

finite state
inductive learning
black box
real time
neural network
learning algorithm
knowledge representation
inductive inference
inductive reasoning
real world
information systems
data structure
search algorithm
dynamic programming
inductive logic programming
stochastic methods