Decidability of S1S and S2S.

Published in: Automata, Logics, and Infinite Games (2001)

Keyphrases

description logics
query answering
decision procedures
artificial intelligence
knowledge base
type checking
database
computer vision
database systems
feature extraction
expert systems