Keywords:
Publications of Stefan Wölfl sorted by title
| 1-25 | 26-39 |
A
| , and , A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 |
|
| , Ambiguous Landmark Problems in Cognitive Robotics: A Benchmark for Qualitative Position Calculi, in: Papers from the 2009 AAAI Spring Symposium Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, pages 17--22, AAAI Press; Menlo Park, CA, 2009 |
B
| and , Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI, 2009 |
| and , Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, Menlo Park, CA, 2009 |
| and , Bipath Consistency Revisited, in: Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning, 2008 |
| and , Bipath Consistency Revisited, 2008 |
| 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] |
C
| and , CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 |
[URL] |
| and , Confirming the QSR Promise, in: AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, 2009 |
E
| , , and , Emerging Applications of Spatial and Temporal Reasoning. Special Issue of the Journal of Spatial Cognition and Computation, Taylor \& Francis, London, England.; http://dx.doi.org/10.1080/13875868.2010.548568, volume 11, 2011 |
| , Events in Branching Time (2005), in: Studia Logica, 79:2(255--282) |
G
| , and , GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008 |
| , and , GQR -- A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008 |
| , and , GQR: A Fast Solver for Binary Qualitative Constraint Networks, in: Proceedings of the {AAAI}'09 Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, {AAAI} Press, 2009 |
M
| , Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning, in: Papers from the 2009 AAAI Spring Symposium Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, pages 35-40, AAAI Press; Menlo Park, CA, 2009 |
O
| and , On Combinations of Binary Qualitative Constraint Calculi, in: IJCAI-09, 2009 |
Q
| , 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] |
| and (eds.), Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings, 2006 |
| , and , Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 |
|
| and , Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: IJCAI-09, 2009 |
| and , Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: Proceedings of {IJCAI-09}, 2009 |
| , , , , and , Qualitative Methoden zur Steuerung von Agenten - SailAway: Raumkognition zur Steuerung von Schiffen (2008), in: Industrie Management, 24:4(21-24) |
| , , and , Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends and Future Directions (2011), in: Journal of Spatial Cognition and Computation. Issue: Emerging Applications of Spatial and Temporal Reasoning. Special Issue of the Journal of Spatial Cognition and Computation, 11:1 |
[DOI] |
| , , , , and , Qualitative Spatial Reasoning for Rule Compliant Agent Navigation, in: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS-2007), 2007 |
|
R
| and , Reasoning about Topological and Positional Information in Dynamic Settings, in: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA, pages 606-611, 2008 |
| 1-25 | 26-39 |