Publications of Marco Ragni sorted by journal and type
J. Vis. Lang. Comput.
| and , Qualitative spatial reasoning about relative point position (2008), in: J. Vis. Lang. Comput., 19:1(75-98) |
Journal of Visual Languages and Computing
| and , Qualitative Spatial Reasoning about Relative Point Position (2008), in: Journal of Visual Languages and Computing, 19:5(75-98) |
KI
| , , and , Cognitive space and spatial cognition: The SFB/TR 8 Spatial Cognition (2016), in: KI, 30:1(83-88) |
[DOI] |
Publications of type Book
2008
| , Räumliche Repräsentation, Komplexität und Deduktion: Eine kognitive Komplexitätstheorie, AKA Verlag, Dissertationen zur Künstlichen Intelligenz, volume 334, 2008 |
Publications of type Inproceedings
to appear
| and , Temporalizing Spatial Calculi---On Generalized Neighborhood Graphs, to appear |
2009
| and , A Cognitive Perspective on QSR: Navigation as an Example, in: AAAI Spring Symposium 2009 on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press; Menlo Park, CA, 2009 |
2008
| 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 |
2007
| , and , 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 |
2006
| , , and , 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 , Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning, in: KR, pages 472-480, 2006 |
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 |
| , and , A computational model of human reasoning with spatial relations., in: Proceedings of the 27th Annual Conference of the Cognitive Science Society, pages pp. 1797-1802, 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 |
2004
| 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] |
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 |
Publications of type Proceedings
2014
| and (eds.), Proceedings of the KI 2014 Workshop on Higher-Level Cognition and Computation, SFB/TR 8 Report No. 037-09/2014, 2014 |
|
2013
| , and (eds.), Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition, SFB/TR 8 Report No. 034-08/2013, 2013 |
|
2012
| , and (eds.), Human Reasoning and Automated Deduction - KI 2012 Workshop Proceedings, SFB/TR 8 Report No. 032-09/2012, 2012 |
|