Checking Conservativity with Hets.

Mihai Codescu Till Mossakowski Christian Maeder

Published in: CALCO (2013)

Keyphrases

three dimensional
image sequences
consistency checking
database
computer vision
case study
high level
digital libraries
preprocessing
expert systems