On combinations of binary qualitative constraint calculi

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 967-972

  Wölfl, Stefan ^a   Westphal, Matthias ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; SEMANTICS;

EMPIRICAL CASE STUDIES; QUALITATIVE CALCULUS; QUALITATIVE CONSTRAINTS; QUALITATIVE SPATIAL AND TEMPORAL REASONING; REASONING PERFORMANCE; REGION CONNECTION CALCULUS; REPRESENTATION FORMALISMS; TEMPORAL INFORMATION;

PATHOLOGY;

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

References (15)

1. James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. Philippe Balbiani, Jean-François Condotta, and Luis Fariñas del Cerro. A model for reasoning about bidemsional temporal relations. In KR 1998, pages 124-130, 1998.
3. Andrew U. Frank. Qualitative spatial reasoning: Cardinal directions as an example. International Journal of Geographical Information Science, 10(3):269-290, 1996.
4. Zeno Gantner, MatthiasWestphal, and Stefan Wölfl. GQR - A fast reasoner for binary qualitative constraint calculi. In AAAI-08 Workshop on Spatial and Temporal Reasoning, Chicago, USA. AAAI Press, 2008.
5. Alfonso Gerevini and Jochen Renz. Combining topological and size information for spatial reasoning. Artificial Intelligence, 137(1-2):1-42, 2002.
6. Peter B. Ladkin and Alexander Reinefeld. Fast algebraic methods for interval constraint problems. Annals of Mathematics and Artificial Intelligence, 19(3-4):383-411, 1997.
7. Gérard Ligozat and Jochen Renz. What is a qualitative calculus? A general framework. In PRICAI 2004, LNCS: 3157, pages 53-64. Springer, 2004.
8. Gérard Ligozat. Reasoning about cardinal directions. Journal of Visual Languages and Computing, 9(1):23-44, 1998.
9. Alan K. Mackworth and Eugene C. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25(1):65-74, 1985.
10. Bernhard Nebel. Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. In ECAI 1996, pages 38-42, 1996.
11. Arun K. Pujari, G. Vijaya Kumari, and Abdul Sattar. Indu: An interval and duration network. In Australian Joint Conference on Artificial Intelligence, LNCS: 1747, pages 291-303. Springer, 1999.
12. Marco Ragni and Stefan Wölfl. Reasoning about topological and positional information in dynamic settings. In FLAIRS Conference, pages 606-611. AAAI Press, 2008.
13. David A. Randell and Mark Witkowski. Building large composition tables via axiomatic theories. In KR 2002, pages 26-36, 2002.
14. Jochen Renz and Bernhard Nebel. Qualitative spatial reasoning using constraint calculi. In M. Aiello, I. Pratt-Hartmann, and J. van Benthem, editors, Handbook of Spatial Logics, pages 161-215. Springer, 2007.
15. Marc Vilain, Henry Kautz, and Peter van Beek. Constraint propagation algorithms for temporal reasoning: A revised report. In Daniel S. Weld and Johan de Kleer, editors, Readings in Qualitative Reasoning about Physical Systems, pages 373-381. Morgan Kaufmann, 1989.