Research Group on
the Foundations of Artificial Intelligence
Department of Computer Science
University of Freiburg
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:
DAGM (2004)
Advances in Modal Logic (2004)
International Conference Spatial Cognition (2004)
International Joint Conference on Artificial Intelligence (2005)
Künstliche Intelligenz (2005)
European Conference of Artificial Intelligence (2006)
International Joint Conference on Artificial Intelligence (2007)
International Conference Cognitive Science (2007)
COSIT Conference (2007)
ragni@informatik.uni-freiburg.de, 25. April 2005