On the strongly generic undecidability of the Halting Problem.

Alexander N. Rybalov

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

Keyphrases

description logics
general purpose
domain specific
probabilistic planning
neural network
artificial intelligence
information systems
database systems
multiscale
special case
data management