Dependency Calculus: Reasoning in a General Point Relation Algebra.

Marco Ragni Alexander Scivos

Published in: KI (2005)

Keyphrases

relation algebra
formal logic
special case
qualitative spatial reasoning
knowledge base
knowledge representation
expressive power
fuzzy logic
formal methods