A decidable query answering algorithm for circumscriptive theories.

Teodor C. Przymusinski

Published in: ISMIS (1986)

Keyphrases

query answering
computational complexity
optimal solution
integrity constraints
data exchange
data sets
data mining
pattern matching