System NEL is Undecidable.

Lutz Straßburger

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

sufficient conditions
np complete
search algorithm
training set
data sets
artificial intelligence
information systems
knowledge base
metadata
expert systems
datalog programs