Tableaux for Reasoning About Atomic Updates.

Christian G. Fermüller Georg Moser Richard Zach

Published in: LPAR (2001)

Keyphrases

modal logic
spatial reasoning
functional dependencies
formal theory
neural network
data structure
qualitative reasoning
view maintenance
machine learning
computer vision
artificial neural networks
knowledge representation
integrity constraints
automated reasoning
decision procedures
update operations