| 2008 |
|---|
| 11 | | Christian Freksa,
Nora S. Newcombe,
Peter Gärdenfors,
Stefan Wölfl:
Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
Springer 2008 |
| 10 | | Marco Ragni,
Stefan Wölfl:
Reasoning about Topological and Positional Information in Dynamic Settings.
FLAIRS Conference 2008: 606-611 |
| 2007 |
|---|
| 9 | | Stefan Wölfl,
Till Mossakowski,
Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
FLAIRS Conference 2007: 665- |
| 8 | | Diedrich Wolter,
Frank Dylla,
Lutz Frommberger,
Jan Oliver Wallgrün,
Bernhard Nebel,
Stefan Wölfl:
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation.
FLAIRS Conference 2007: 673-674 |
| 2006 |
|---|
| 7 | | Marco Ragni,
Stefan Wölfl:
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.
KR 2006: 472-480 |
| 2005 |
|---|
| 6 | EE | Stefan Wölfl,
Till Mossakowski:
Casl Specifications of Qualitative Calculi.
COSIT 2005: 200-217 |
| 5 | EE | Marco Ragni,
Stefan Wölfl:
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.
KI 2005: 64-78 |
| 4 | EE | Stefan Wölfl,
Till Mossakowski,
Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
Spatial Cognition: Specialization and Integration 2005 |
| 3 | EE | Stefan Wölfl:
Events in Branching Time.
Studia Logica 79(2): 255-282 (2005) |
| 2004 |
|---|
| 2 | EE | Stefan Wölfl:
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.
JELIA 2004: 70-81 |
| 1 | EE | Marco Ragni,
Stefan Wölfl:
Branching Allen.
Spatial Cognition 2004: 323-343 |
