Top
Topic: R2-BackSpace
-No description- Subtopics: Keywords:
|
|
Publications for topic "R2-BackSpace"
2008
Qualitative Spatial Reasoning about Relative Point Position (2008), in: Journal of Visual Languages and Computing, 19:5(75-98) | and ,
2006
Simulating spatial reasoning using ACT-R, in: Proceedings of the ICCM 06, pages 62-67, Mahwah, NJ: Lawrence Erlbaum Associates., 2006 | , , and ,
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning, in: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pages 472-480, American Association for Artificial Intelligence; Menlo Park, CA, 2006 | and ,
2005
A Computational Model for Spatial Reasoning with Mental Models, in: Proceedings of the 27th Annual Cognitive Science Conference (CogSci05), pages 1064-70, Erlbaum, 2005 | , and ,
Dependency Calculus: Reasoning in a General Point Algebra, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pages 1575-1576, Professional Book Center, 2005 | and ,
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs, in: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings, pages 64--78, Springer; Berlin; http://www.springer.de, 2005 | and ,
The Dependency Calculus, in: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI., Springer, 2005 | and ,
2004
Branching Allen: Reasoning with intervals in branching time, in: Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised & Selected Papers, pages 323-343, Springer; Berlin; http://www.springer.de, 2004 | and ,
[URL] |
2003
An Arrangement Calculus, Its Complexity and Algorithmic Properties, in: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, pages 580 - 590, Springer, 2003 | ,