| 2014 | KI | Towards a New Semantics for Possibilistic Answer Sets. | Julien Hu, Matthias Westphal, Stefan Wlfl |
| 2014 | KI | On the Scope of Qualitative Constraint Calculi. | Matthias Westphal, Julien Hu, Stefan Wlfl |
| 2013 | IJCAI | Transition Constraints: A Study on the Computational Complexity of Qualitative Change. | Matthias Westphal, Julien Hu, Stefan Wlfl, Bernhard Nebel |
| 2013 | ICTAI | On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. | Matthias Westphal, Julien Hu, Stefan Wlfl |
| 2012 | ICTAI | An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. | Julien Hu, Matthias Westphal, Stefan Wlfl |
| 2011 | IJCAI | RCC8 Is Polynomial on Networks of Bounded Treewidth. | Manuel Bodirsky, Stefan Wlfl |
| 2011 | IJCAI | On Qualitative Route Descriptions: Representation and Computational Complexity. | Matthias Westphal, Stefan Wlfl, Bernhard Nebel, Jochen Renz |
| 2010 | ECAI | A Qualitative Representation of Route Networks. | Jochen Renz, Stefan Wlfl |
| 2010 | ECAI | Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. | Matthias Westphal, Stefan Wlfl, Jason Jingshi Li |
| 2009 | IJCAI | Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. | Matthias Westphal, Stefan Wlfl |
| 2009 | IJCAI | On Combinations of Binary Qualitative Constraint Calculi. | Stefan Wlfl, Matthias Westphal |
| 2009 | KI | Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. | Florian Pommerening, Stefan Wlfl, Matthias Westphal |
| 2008 | FlAIRS | Reasoning about Topological and Positional Information in Dynamic Settings. | Marco Ragni, Stefan Wlfl |
| 2007 | FlAIRS | Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. | Stefan Wlfl, Till Mossakowski, Lutz Schrder |
| 2007 | FlAIRS | Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. | Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrn, Bernhard Nebel, Stefan Wlfl |
| 2007 | PAKDD | Negative Localized Relationship Among p70S6 with Smad1, 2, 3 and p38 in Three Treated Human Cancer Cell Lines. | Lin Wang, Minghu Jiang, Stefan Wlfl, Yinghua Lu |
| 2006 | IDEAL | Uncentered (Absolute) Correlation Clustering Method Fit for Establishing Theoretical SAPK/JNK Signaling Pathway in Human Soft Tissue Sarcoma Samples. | Jinling Zhang, Yinghua Lu, Lin Wang, Hongxin Zhang, Bo Zhang, Yeqiu Wang, Kai Wu, Stefan Wlfl |
| 2006 | KR | Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. | Marco Ragni, Stefan Wlfl |
| 2005 | KI | Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. | Marco Ragni, Stefan Wlfl |
| 2004 | JELIA | Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. | Stefan Wlfl |