The Undecidability of Some Equivalence Problems Concerning NGSM's and Finite Substitutions.

Paavo Turakainen

Published in: Theor. Comput. Sci. (1997)

Keyphrases

knowledge base
decision trees
probabilistic planning
database
information retrieval
learning algorithm
artificial intelligence
optimization problems
application domains
decision problems