Research Group on the Foundations of Artificial Intelligence Department of Computer Science University of Freiburg

Publications ( Marco Ragni)

2007

• Ragni, M. Deductive Spatial Reasoning: A Computational and Cognitive Perspective KI-Themenheft Spatial Cognition (To appear).

• Ragni, M., Schleipen, S., and Steffenhagen, F. Solving proportional analogies: A computational model. Proceedings of AnICA 2007 (To appear)

• Schleipen, S., Ragni, M., and Fangmeier, T. Negation in Spatial Reasoning: A Computational Approach Proceedings of the 30th German Conference on Artificial Intelligence (KI-2007). Lecture Notes in Computer Science. Springer, Berlin.

• Ragni, M. and Steffenhagen, F. A cognitive computational model for spatial reasoning. AAAI Spring Symposium 2007. 2007. AAAI Press; Menlo Park, CA.

• Ragni, M. and Steffenhagen, F. Qualitative spatial reasoning: a cognitive and computational approach. Proceedings of the 28th Annual Cognitive Science Conference (CogSci 07). Mahwah, NJ. Lawrence Erlbaum Associates. 2007.

• Moratz, R. and Ragni, M. Qualitative Spatial Reasoning about Relative Point Position. Journal of Visual Languages and Computing (to appear)

• Ragni, M., Fangmeier, T., and Schleipen, S. What about negation in spatial reasoning? Proceedings of the 28th Annual Cognitive Science Conference (CogSci 07). Mahwah, NJ. Lawrence Erlbaum Associates.2007.

• Ragni, M., Tseden, B. and Knauff, M. Cross cultural similarities in topological reasoning. COSIT 2007, Lecture Notes in Computer Science. 2007. Springer.

2006

• Boeddinghaus, J., Ragni, M., Knauff, M., and Nebel, B. (2006). Simulating spatial reasoning using ACT-R. In: Proceedings of the ICCM 06,pp. 62-67. Mahwah, NJ: Lawrence Erlbaum Associates ( PDF)

• Ragni,M., Fangmeier,T., Webber,L., and Knauff, M. (2006) Complexity in Spatial Reasoning. In Proceedings of the 28th Annual Cognitive Science Conference (CogSci 2006) Lawrence Erlbaum Associates. ISBN: 0-8058-6296-X ( PDF)

• Marco Ragni. Reasoning in Dynamic Environments In S. Wölfl, T. Mossakowski (Eds.) Proceedings of the QCC-WS of the 29th Annual German Conference on Artificial Intelligence (KI-06).

• Ragni, M., and Wölfl, S. (2006). Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. In: P. Doherty, J. Mylopoulos, and C. A. (Ed.), Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 472-480. American Association for Artificial Intelligence, Menlo Park, CA ( PDF)

• Ragni,M., Fangmeier,T., Webber,L., and Knauff, M. (2006). Preferred mental models: How and why they are so important in human reasoning with spatial relations. In: C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, and T. Barkowsky (Eds.), Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006. Lecture Notes in Computer Science 2007.

• Ragni, M. and Steffenhagen, F. An implementation of the SRM-model. Technical report, 011-09/2006, SFB/TR 8 Spatial Cognition; http://www.sfbtr8.uni-bremen.de, 2006.

2005

• Ragni, M., and Scivos, A. (2005). Dependency Calculus: Reasoning in a General Point Algebra. In: P. L. Kaelbling, and A. Saffiotti (Eds.), Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 1575-1576. Professional Book Center ( PDF)

• Ragni, M., Knauff, M., and Nebel, B. (2005). A Computational Model for Spatial Reasoning with Mental Models. In: B. Bara, B. Barsalou, and M. Bucciarelli (Eds.), Proceedings of the 27th Annual Cognitive Science Conference (CogSci05), pp. 1064-70. Erlbaum. ISBN 0-9768318-1-3 ( PDF)

• Ragni, M., and Scivos, A. (2005). The Dependency Calculus. In: U. Furbach, (Ed.), KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI. Springer. ISBN 3-540-28761-2 ( PDF)

• Ragni, M., and Wölfl, S. (2005). Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. In: U. Furbach, (Ed.), KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings. Lecture Notes in Computer Science, vol. 3698, pp. 64-78. Springer, Berlin. ISBN 3-540-28761-2 ( PDF)

2004

• Ragni, M., and Wölfl, S. (2004). Branching Allen: Reasoning with intervals in branching time. In: C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, and T. Barkowsky (Eds.), Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised and Selected Papers. Lecture Notes in Computer Science, vol. 3343, pp. 323-343. Springer, Berlin. ISBN:3-540-25048-4 ( PDF)

• Marco Ragni. Temporalizing Spatial Calculi In F. Anger, H. W. Guesgen, and R. V. Rodriguez (Eds.): Proceedings of the KRR-WS of the Nineteenth National Conference on Artificial Intelligence (AAAI-04)

2003

• Ragni, M. (2003). An Arrangement Calculus, Its Complexity and Algorithmic Properties. In: G. A. R. Kruse, and B. Neumann (Eds.), KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI. LNCS, pp. 580 - 590. Springer. ISBN: 3-540-20059-2 ( PDF)

• Ragni, M. An Arrangement Calculus In F. Anger, H. W. Guesgen, and R. V. Rodriguez (Eds.): Proceedings of the WS on Knowledge Representation and Reasoning, 18th International Joint Conference on Artificial Intelligence (IJCAI-03)

Reviewing for Conferences:

COSIT Conference (2007)

---

ragni@informatik.uni-freiburg.de, 25. April 2005