Decidability of the Star Problem in A* x {b}*.

Paul Gastin Edward Ochmanski Antoine Petit Brigitte Rozoy

Published in: Inf. Process. Lett. (1992)

Keyphrases

description logics
query answering
information retrieval
decision procedures
data mining
data structure
database
data sets
decision making
cooperative
data sources
incomplete information