Dependency calculus reasoning in a general point relation algebra

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 1577-1578

  Ragni, Marco ^a   Scivos, Alexander ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL CALCULI; INTERVAL ALGEBRA; MEDICAL DIAGNOSTICS; POINT ALGEBRAS; RELATION ALGEBRAS; SATISFACTION PROBLEM; SPATIAL AND TEMPORAL REASONING; TRAFFIC NETWORKS;

ARTIFICIAL INTELLIGENCE; CALCULATIONS;

ALGEBRA;

EID: 33846095272     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (2)

1. M. Ragni and A. Scivos. The Dependency Calculus. Technical report, Institut für Informatik, Universität Freiburg, Germany, 2005.
2. J. Renz and B. Nebel. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. AIJ, 108(1-2):69-123, 1999.