Decidability Results for Saturation-Based Model Building.

Matthias Horbach Christoph Weidenbach

Published in: CADE (2009)

Keyphrases

description logics
query answering
decision procedures
color image enhancement
database
wide range
database systems
expert systems
type checking