Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox
暂无分享,去创建一个
Christian Freksa | Lutz Frommberger | Frank Dylla | Diedrich Wolter | Jan Oliver Wallgrün | J. O. Wallgrün | C. Freksa | D. Wolter | L. Frommberger | F. Dylla
[1] Gérard Ligozat,et al. What Is a Qualitative Calculus? A General Framework , 2004, PRICAI.
[2] Peter van Beek,et al. Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..
[3] Alfonso Gerevini,et al. Combining topological and size information for spatial reasoning , 2002, Artif. Intell..
[4] Ralf Röhrig. Repräsentation und Verarbeitung von qualitativem Orientierungswissen , 1998, DISKI.
[5] Max J. Egenhofer,et al. A Formal Definition of Binary Topological Relationships , 1989, FODO.
[6] D. J. Hand,et al. Artificial intelligence , 1981, Psychological Medicine.
[7] Christian Freksa,et al. Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..
[8] Bernhard Nebel,et al. The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning , 2004, Spatial Cognition.
[9] Till Mossakowski,et al. Casl Specifications of Qualitative Calculi , 2005, COSIT.
[10] Gérard Ligozat,et al. Qualitative Triangulation for Spatial Reasoning , 1993, COSIT.
[11] Christian Freksa,et al. Qualitative spatial reasoning using orientation, distance, and path knowledge , 2004, Applied Intelligence.
[12] Andrew U. Frank,et al. Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.
[13] Reinhard Moratz,et al. Qualitative Spatial Reasoning about Line Segments , 2000, ECAI.
[14] Christoph Schlieder,et al. Reasoning About Ordering , 1995, COSIT.
[15] Jan Chomicki,et al. Hippo: A System for Computing Consistent Answers to a Class of SQL Queries , 2004, EDBT.
[16] Bernhard Nebel,et al. Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs , 2003, Spatial Cognition.
[17] Christian Freksa,et al. Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.
[18] Jayant Sharma,et al. Integrated spatial reasoning in geographic information systems: combining topology and direction , 1996 .
[19] Ralf Röhrig,et al. Representation and Processing of Qualitative Orientation Knowledge , 1997, KI.
[20] Bernhard Nebel,et al. On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..
[21] Max J. Egenhofer,et al. Consistent queries over cardinal directions across different levels of detail , 2000, Proceedings 11th International Workshop on Database and Expert Systems Applications.
[22] Reinhard Moratz,et al. Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus , 2004, Spatial Cognition.
[23] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.
[24] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[25] Michael F. Goodchild,et al. Foundations of Geographic Information Science , 2003 .
[26] Universiẗat Bremen Bibliothekstr,et al. A Relative Orientation Algebra with Adjustable Granularity , 2005 .
[27] Reinhard Moratz,et al. Empirical Complexity Issues of Practical Qualitative Spatial Reasoning about Relative Position , 2004 .
[28] Lutz Frommberger,et al. SparQ User Manual V0.6 , 2006 .
[29] Stephan Winter,et al. Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings , 2007, COSIT.
[30] Andrew U. Frank,et al. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.
[31] Wilfried Brauer,et al. Spatial Cognition III , 2003, Lecture Notes in Computer Science.
[32] Alexander Reinefeld,et al. Effective Solution of Qualitative Interval Constraint Problems , 1992, Artif. Intell..
[33] Anthony G. Cohn,et al. Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.
[34] Chengqi Zhang,et al. PRICAI 2004: Trends in Artificial Intelligence , 2004, Lecture Notes in Computer Science.
[35] Bernhard Nebel,et al. Principles of knowledge representation and reasoning: proceedings of the Third International Conference (KR'92) , 1992 .
[36] Jean-François Condotta,et al. A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi , 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).
[37] Eliseo Clementini,et al. A Model for Ternary Projective Relations between Regions , 2004, EDBT.
[38] Debasis Mitra,et al. Qualitative Direction Calculi with Arbitrary Granularity , 2004, PRICAI.
[39] Gérard Ligozat,et al. Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..
[40] Bernhard Nebel,et al. Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation , 2001, COSIT.
[41] Gérard Ligozat,et al. Weak Composition for Qualitative Spatial and Temporal Reasoning , 2005, CP.
[42] Peter van Beek,et al. Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.