Top
Topic: R4-LogoSpace
Publications for topic "R4-LogoSpace" sorted by recency
| 1-25 | 26-40 |
| , , and (eds.), Spatial Cognition VI: Learning, reasoning, and talking about space, Springer; Berlin, Lecture Notes in Artificial Intelligence, 2008 |
[URL] |
| and , On Combinations of Binary Qualitative Constraint Calculi, in: IJCAI-09, 2009 |
| , and , Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 |
|
| and , CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 |
[URL] |
| , Events in Branching Time (2005), in: Studia Logica, 79:2(255--282) |
| , 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] |
| and , Bipath Consistency Revisited, in: Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning, 2008 |
| and , Confirming the QSR Promise, in: AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, 2009 |
| and , Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: IJCAI-09, 2009 |
| 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 , 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 |
[URL] |
| 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 , 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 , The Dependency Calculus, in: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI., Springer, 2005 |
| , and , A Computational Model for Spatial Reasoning with Mental Models, in: Proceedings of the 27th Annual Cognitive Science Conference (CogSci05), pages 1064-70, Erlbaum, 2005 |
| , 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 |
| , and , A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 |
|
| and , Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity (2010), in: CoRR. abs/0912.5533 |
[URL] |
| and , Qualitative Reasoning about Relative Direction of Oriented Points (2012), in: Artificial Intelligence Journal, 180--181(34--45) |
[DOI] |
| , and , The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 |
|
| , and , A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments (2011), in: Artificial Intelligence Journal, 175(2099-2127) |
[DOI] |
| , and , Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011 |
[URL] |
| and , A much better polynomial time approximation of consistency in the LR calculus, in: Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), pages 175-185, IOS Press; Amsterdam; http://www.iospress.nl, 2010 |
[URL] |
| , and , GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008 |
| and (eds.), Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 2006 |
| 1-25 | 26-40 |