Top
Topic: R4-LogoSpace
Publications for topic "R4-LogoSpace"
| 1-25 | 26-40 |
2012
Qualitative Reasoning about Relative Direction of Oriented Points (2012), in: Artificial Intelligence Journal, 180--181(34--45) | and ,
[DOI] |
2011
A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments (2011), in: Artificial Intelligence Journal, 175(2099-2127) | , and ,
[DOI] |
Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011 | , and ,
[URL] |
2010
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 | and ,
[URL] |
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity (2010), in: CoRR. abs/0912.5533 | and ,
[URL] |
2009
Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI, 2009 | and ,
Confirming the QSR Promise, in: AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, 2009 | and ,
On Combinations of Binary Qualitative Constraint Calculi, in: IJCAI-09, 2009 | and ,
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects (2009), in: CoRR, abs/0912.5533 | , and ,
[URL] |
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: IJCAI-09, 2009 | and ,
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning, in: KI 2009, pages 468-475, Springer, 2009 | , and ,
2008
Bipath Consistency Revisited, in: Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning, 2008 | and ,
GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008 | , and ,
Qualitative Methoden zur Steuerung von Agenten - SailAway: Raumkognition zur Steuerung von Schiffen (2008), in: Industrie Management, 24:4(21-24) | , , , , and ,
Qualitative spatial reasoning about relative point position (2008), in: J. Vis. Lang. Comput., 19:1(75-98) | and ,
Reasoning about Topological and Positional Information in Dynamic Settings, in: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA, pages 606-611, 2008 | and ,
SailAway: Spatial cognition in sea navigation (2008), in: Künstliche Intelligenz, 22:1(28-30) | , , , , , and ,
|
Spatial Cognition VI: Learning, reasoning, and talking about space, Springer; Berlin, Lecture Notes in Artificial Intelligence, 2008 | , , and (eds.),
[URL] |
2007
Cross cultural similarities in topological reasoning, in: COSIT 2007, pages 32-46, Springer, 2007 | , and ,
Negation in Spatial Reasoning: A Computational Approach, in: KI, pages 175-189, Springer, 2007 | , and ,
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 | , and ,
|
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation, in: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS-2007), 2007 | , , , , and ,
|
Qualitative Spatial Reasoning Using Constraint Calculi, in: Handbook of Spatial Logics, pages 161-215, Springer, 2007 | and ,
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach (2007), in: The Computer Journal, 50:4(391-402) | and ,
SailAway: Formalizing Navigation Rules, in: Proceedings of the AISB'07 Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication, 2007 | , , , , and ,
|
| 1-25 | 26-40 |