Publications for topic "R4-LogoSpace" sorted by first author
| 1-25 | 26-40 |


B

Jona Boeddinghaus, Marco Ragni, Markus Knauff and Bernhard Nebel, Simulating spatial reasoning using ACT-R, in: Proceedings of the ICCM 06, pages 62-67, Mahwah, NJ: Lawrence Erlbaum Associates., 2006

D

Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Diedrich Wolter, Stefan Wölfl and Bernhard Nebel, SailAway: Formalizing Navigation Rules, in: Proceedings of the AISB'07 Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication, 2007
download

F

Christian Freksa, Nora Newcombe, Peter Gärdenfors and Stefan Wölfl (eds.), Spatial Cognition VI: Learning, reasoning, and talking about space, Springer; Berlin, Lecture Notes in Artificial Intelligence, 2008
[URL]

G

Zeno Gantner, Matthias Westphal and Stefan Wölfl, GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008

L

Dominik Lücke and Till Mossakowski, 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
download
[URL]
Dominik Lücke, Till Mossakowski and Reinhard Moratz, Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011
download
[URL]

M

Till Mossakowski, Christian Maeder and Klaus Lüttich, The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007
download
Till Mossakowski and Reinhard Moratz, Qualitative Reasoning about Relative Direction of Oriented Points (2012), in: Artificial Intelligence Journal, 180--181(34--45)
download
[DOI]
Till Mossakowski, Lutz Schröder and Stefan Wölfl, A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006
download

N


P


R

Marco Ragni, 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
Marco Ragni, Markus Knauff and Bernhard Nebel, A Computational Model for Spatial Reasoning with Mental Models, in: Proceedings of the 27th Annual Cognitive Science Conference (CogSci05), pages 1064-70, Erlbaum, 2005
Marco Ragni and Alexander Scivos, The Dependency Calculus, in: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI., Springer, 2005
Marco Ragni and Alexander Scivos, 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
Marco Ragni and Stefan Wölfl, 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
Marco Ragni and Stefan Wölfl, 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
Marco Ragni and Stefan Wölfl, 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]
| 1-25 | 26-40 |