Keywords:
Publications of Stefan Wölfl sorted by recency
| 1-25 | 26-39 |
Towards a New Semantics for Possibilistic Answer Sets, in: {KI} 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, pages 159--170, 2014 | , and ,
[DOI] |
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 | , and ,
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: Proceedings of {IJCAI-09}, 2009 | and ,
Bipath Consistency Revisited, 2008 | and ,
Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, Menlo Park, CA, 2009 | and ,
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 | ,
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning, in: KR, pages 472-480, 2006 | and ,
Temporalizing Spatial Calculi---On Generalized Neighborhood Graphs, to appear | and ,
Spatial Memory and Spatial Orientation, in: Spatial Cognition VI. Learning, Reasoning, and Talking about Space: International Conference Spatial Cognition 2008, pages 22-38, Springer, 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 ,
Spatial Cognition VI: Learning, reasoning, and talking about space, Springer; Berlin, Lecture Notes in Artificial Intelligence, 2008 | , , and (eds.),
[URL] |
On Combinations of Binary Qualitative Constraint Calculi, in: IJCAI-09, 2009 | and ,
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 | , and ,
|
CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 | and ,
[URL] |
Events in Branching Time (2005), in: Studia Logica, 79:2(255--282) | ,
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] |
Bipath Consistency Revisited, in: Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning, 2008 | and ,
Confirming the QSR Promise, in: AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, 2009 | and ,
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: IJCAI-09, 2009 | 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 | 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 | and ,
[URL] |
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 ,
A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 | , and ,
|
Streets to the OPRA - Finding your destination with imprecise knowledge, in: IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pages 25-32, 2011 | , and ,
[URL] |
GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008 | , and ,
| 1-25 | 26-39 |