Decidability and Essential Undecidability.

Published in: J. Symb. Log. (1957)

Keyphrases

description logics
knowledge base
query containment
case study
data sets
artificial neural networks
knowledge representation
query answering
database
reinforcement learning
dynamic programming
decision procedures
number restrictions