 | 2009 |
|---|
| 17 |       | Matthias Westphal,
Stefan Wölfl:
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.
IJCAI 2009: 628-633 |
| 16 | | Stefan Wölfl,
Matthias Westphal:
On Combinations of Binary Qualitative Constraint Calculi.
IJCAI 2009: 967-973 |
| 15 | | Florian Pommerening,
Stefan Wölfl,
Matthias Westphal:
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.
KI 2009: 468-475 |
| 2008 |
|---|
| 14 |  | 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 |
| 13 | | Marco Ragni,
Stefan Wölfl:
Reasoning about Topological and Positional Information in Dynamic Settings.
FLAIRS Conference 2008: 606-611 |
| 12 | | Diedrich Wolter,
Frank Dylla,
Stefan Wölfl,
Jan Oliver Wallgrün,
Lutz Frommberger,
Bernhard Nebel,
Christian Freksa:
SailAway: Spatial Cognition in Sea Navigation.
KI 22(1): 28-30 (2008) |
| 11 | | Stefan Wölfl:
Spatial Cognition 2008 - Call for Papers.
KI 22(1): 77 (2008) |
| 2007 |
|---|
| 10 | | Stefan Wölfl,
Till Mossakowski,
Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
FLAIRS Conference 2007: 665- |
| 9 | | 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 |
|---|
| 8 | | Marco Ragni,
Stefan Wölfl:
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning.
KR 2006: 472-480 |
| 7 | | Martin Hoffmann,
Dirk Pohlers,
Dirk Koczan,
Hans-Jürgen Thiesen,
Stefan Wölfl,
Raimund W. Kinne:
Robust computational reconstitution - a new method for the comparative analysis of gene expression in tissues and isolated cell fractions.
BMC Bioinformatics 7: 369 (2006) |
| 2005 |
|---|
| 6 | | Stefan Wölfl,
Till Mossakowski:
Casl Specifications of Qualitative Calculi.
COSIT 2005: 200-217 |
| 5 | | Marco Ragni,
Stefan Wölfl:
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.
KI 2005: 64-78 |
| 4 | | Stefan Wölfl,
Till Mossakowski,
Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
Spatial Cognition: Specialization and Integration 2005 |
| 3 | | Stefan Wölfl:
Events in Branching Time.
Studia Logica 79(2): 255-282 (2005) |
| 2004 |
|---|
| 2 | | 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 | | Marco Ragni,
Stefan Wölfl:
Branching Allen.
Spatial Cognition 2004: 323-343 |
