Decidability Results for the Boundedness Problem.

Achim Blumensath Martin Otto Mark Weyer

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

description logics
sufficient conditions
query answering
datalog programs
type checking
information systems
website
decision trees
data sets
artificial intelligence
three dimensional
natural language
preprocessing
expert systems
knowledge representation
query containment