Consistency and Completeness of Rewriting in the Calculus of Constructions.

Daria Walukiewicz-Chrzaszcz Jacek Chrzaszcz

Published in: IJCAR (2006)

Keyphrases

database
query rewriting
automated deduction
qualitative spatial and temporal reasoning
genetic algorithm
path consistency
computer algebra
data model
global constraints
consistency checking
formal language
maintaining consistency