GQR - A fast reasoner for binary qualitative constraint calculi

AAAI Workshop - Technical Report

Volumn WS-08-11, Issue , 2008, Pages 24-29

  Gantner, Zeno ^a   Westphal, Matthias ^b   Wölfl, Stefan ^b  

^a UNIVERSITY OF HILDESHEIM   (Germany)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALLEN'S INTERVAL ALGEBRA; BINARY CONSTRAINTS; CARDINAL DIRECTION; CONSTRAINT NETWORKS; FREE SOFTWARE; GENERICITY; GNU GENERAL PUBLIC LICENSE; OBJECT-ORIENTED FRAMEWORKS; PATH CONSISTENCY; QUALITATIVE CONSTRAINTS; REASONER; SPATIAL AND TEMPORAL REASONING; TEXT FORMAT; XML FILES;

BIOMINERALIZATION; DATA STRUCTURES; HEURISTIC METHODS; MARKUP LANGUAGES;

PATHOLOGY;

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

References (28)

1. Allen, J. F. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26(11):832-843.
2. Bennett, B.; Magee, D. R.; Cohn, A. G.; and Hogg, D. C. 2004. Using spatio-temporal continuity constraints to enhance visual tracking of moving objects. In Proceedings of the 16th Eureo-pean Conference on Artificial Intelligence, ECAI'2004, 922-926. IOS Press.
3. Bennett, B. 1994. Spatial reasoning with prepositional logics. In KR'94: Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann. 51-62.
4. Cohn, A. G., and Hazarika, S. M. 2001. Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46(1-2):1-29.
5. Condotta, J.-F.; Saade, M.; and Ligozat, G. 2006. A generic toolkit for n-ary qualitative temporal and spatial calculi. In Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 78-86. Los Alamitos, CA, USA: IEEE Computer Society.
6. Dechter, R. 2003. Constraint Processing. Morgan Kaufmann.
7. Dylla, F., and Moratz, R. 2004. Exploiting qualitative spatial neighborhoods in the situation calculus. In Freksa, C.; Knauff, M.; Krieg-Brückner, B.; Nebel, B.; and Barkowsky, T., eds., Spatial Cognition IV, LNCS 3343, 304-322. Springer.
8. Dylla, F.; Frommberger, L.; Wallgrün, J. O.; and Wolter, D. 2006. SparQ: A toolbox for qualitative spatial representation and reasoning. In Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, 79-90.
9. Dylla, F.; Frommberger, L.; Wallgrün, J. O.; Wolter, D.; Nebel, B.; and Wölfl, S. 2007. SailAway: Formalizing navigation rules. In Proceedings of the Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication, MSB'07.
10. Düntsch, I.; Wang, H.; and McCloskey, S. 1999. Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae 39(3):229-249.
11. Egenhofer, M. J., and Franzosa, R. D. 1991. Point set topologi-cal relations. International Journal of Geographical Information Systems 5:161-174.
12. Egenhofer, M. J. 1991. Reasoning about binary topological relations. In Proceedings of the Second Symposium on Large Spatial Databases, SSD'91, LNCS 525, 143-160. Springer.
13. Frank, A. U. 1991. Qualitative spatial reasoning with cardinal directions. In Proceedings of the Seventh Austrian Conference on Artificial Intelligence, Informatik-Fachberichte 287, 157-167. Springer.
14. Freksa, C. 1992. Using orientation information for qualitative spatial reasoning. In Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS, LNCS 639, 162-178. Springer.
15. Ladkin, P. B., and Reinefeld, A. 1997. Fast algebraic methods for interval constraint problems. Annals of Mathematics and Artificial Intelligence 19(3-4):383-411.
16. Ligozat, G., and Renz, J. 2004. What is a qualitative calculus? A general framework. In PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Proceedings, LNCS 3157, 53-64. Springer.
17. Mackworth, A. K. 1977. Consistency in networks of relations. Artificial Intelligence 8(1):99-118.
18. Moratz, R.; Tenbrink, T.; Bateman, J. A.; and Fischer, K. 2003. Spatial knowledge representation for human-robot interaction. In Spatial Cognition III, LNCS 2685, 263-286. Springer.
19. Moratz, R.; Dylla, F.; and Frommberger, L. 2005. A relative orientation algebra with adjustable granularity. In Proceedings of the Workshop on Agents in Real-Time and Dynamic Environments (IJCAI05).
20. Nebel, B. 1996. Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. In I2th European Conference on Artificial Intelligence, Proceedings, 38-42. John Wiley and Sons, Chichester.
21. Randell, D. A.; Cui, Z.; and Cohn, A. G. 1992. A spatial logic based on regions and connection. In Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92), 165-176. Morgan Kaufmann.
22. Renz, J., and Nebel, B. 1998. Efficient methods for qualitative spatial reasoning. In Proceedings of the 13th European Conference on Artificial Intelligence, 562-566. John Wiley & Sons.
23. Renz, J., and Schmid, F. 2007. Customizing qualitative spatial and temporal calculi. In Orgun, M. A., and Thornton, J., eds., Australian Conference on Artificial Intelligence, LNCS 4830, 293-304. Springer.
24. Skiadopoulos, S., and Koubarakis, M. 2004. Composing cardinal direction relations. Artifical Intelligence 152(2): 143-171.
25. van Beek, P., and Manchak, D. W. 1996. The design and experimental analysis of algorithms for temporal reasoning. Journal of Artificial Intelligence Research 4:1-18.
26. Vilain, M. B., and Kautz, H. A. 1986. Constraint propagation algorithms for temporal reasoning. In Proceedings of the 5th National Conference on Artificial Intelligence. Morgan Kaufmann. 377-382.
27. Wallgrün, J. O.; Frommberger, L.; Wolter, D.; Dylla, E.; and Freksa, C. 2006. Qualitative spatial representation and reasoning in the SparQ-toolbox. In Barkowsky, T.; Knauff, M.; Ligozat, G.; and Montello, D. R., eds., Spatial Cognition V, LNCS 4387, 39-58. Springer.
28. Wölfl, S.; Mossakowski, T.; and Schröder, L. 2007. Qualitative constraint calculi: Heterogeneous verification of composition tables. In Wilson, D., and Sutcliffe, G., eds., Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS 21), 665-670. AAAI Press.