Undecidability in Some Structures Related to Computation Theory.

Victor L. Selivanov

Published in: J. Log. Comput. (2009)

Keyphrases

description logics
neural network
data mining
genetic algorithm
database
real world
machine learning
expert systems
np complete
computational models
general theory
probabilistic planning