Top
Topic: R4-LogoSpace
Publications for topic "R4-LogoSpace"
| 1-25 | 26-40 |
2007
The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 | , and ,
|
2006
A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 | , and ,
|
Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 2006 | and (eds.),
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 ,
CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 | and ,
[URL] |
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 ,
Events in Branching Time (2005), in: Studia Logica, 79:2(255--282) | ,
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] |
Qualitative action theory: A comparison of the semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap approach to agency, in: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pages 70--81, Springer; Berlin; http://www.springer.de, 2004 | ,
[URL] |
The Finest of Its Class: The Natural Point-Based Ternary Calculus LR for Qualitative Spatial Reasoning, in: Spatial Cognition, pages 283-303, Springer, 2004 | and ,
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 | ,
| 1-25 | 26-40 |