Keywords:
Publications of Stefan Wölfl
| 1-25 | 26-39 |
2008
| , , and , What Do Focus Maps Focus On?, in: Spatial Cognition VI - Learning, Reasoning, and Talking about Space, pages 154-170, Springer; Berlin, 2008 |
|
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 , SailAway: Formalizing Navigation Rules, in: Proceedings of the AISB'07 Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication, 2007 |
|
2006
| , and , A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 |
|
| and (eds.), Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 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 , CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 |
[URL] |
| , Events in Branching Time (2005), in: Studia Logica, 79:2(255--282) |
| 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 |
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] |
| , Qualitative action theory: A comparison of the semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap approach to agency, in: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pages 70--81, Springer; Berlin; http://www.springer.de, 2004 |
[URL] |
| 1-25 | 26-39 |