default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Wölfl 0001
Person information
- affiliation: University of Freiburg, Department of Computer Science
Other persons with the same name
- Stefan Wölfl 0002 — University of Heidelberg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[p2]Bernhard Nebel
, Stefan Wölfl:
Wissensrepräsentation und -verarbeitung. Handbuch der Künstlichen Intelligenz 2020: 27-56
2010 – 2019
- 2016
- [c25]Matthias Hengel, Stefan Wölfl, Bernhard Nebel:
Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations. Description Logics 2016 - 2015
- [j9]Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions. J. Philos. Log. 44(2): 177-201 (2015) - 2014
- [c24]Julien Hué, Matthias Westphal, Stefan Wölfl:
Towards a New Semantics for Possibilistic Answer Sets. KI 2014: 159-170 - [c23]Matthias Westphal, Julien Hué, Stefan Wölfl:
On the Scope of Qualitative Constraint Calculi. KI 2014: 207-218 - 2013
- [c22]Matthias Westphal, Julien Hué, Stefan Wölfl:
On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. ICTAI 2013: 46-54 - [c21]Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel:
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. IJCAI 2013: 1169-1175 - [p1]Bernhard Nebel, Stefan Wölfl:
Wissensrepräsentation und -verarbeitung. Handbuch der Künstlichen Intelligenz 2013: 105-128 - 2012
- [c20]Julien Hué, Matthias Westphal, Stefan Wölfl:
An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. ICTAI 2012: 588-595 - 2011
- [j8]Mehul Bhatt, Hans W. Guesgen, Stefan Wölfl, Shyamanta Moni Hazarika:
Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions. Spatial Cogn. Comput. 11(1): 1-14 (2011) - [j7]Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler, Bernhard Nebel:
Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning. Spatial Cogn. Comput. 11(1): 75-102 (2011) - [c19]Manuel Bodirsky, Stefan Wölfl:
RCC8 Is Polynomial on Networks of Bounded Treewidth. IJCAI 2011: 756-761 - [c18]Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions: Representation and Computational Complexity. IJCAI 2011: 1120-1125 - 2010
- [c17]Jochen Renz, Stefan Wölfl:
A Qualitative Representation of Route Networks. ECAI 2010: 1091-1092 - [c16]Matthias Westphal, Stefan Wölfl, Jason Jingshi Li:
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. ECAI 2010: 1093-1094 - [e2]Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe:
QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10. - 13.10.2010. Dagstuhl Seminar Proceedings 10412, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i2]Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe:
10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning. QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning 2010
2000 – 2009
- 2009
- [j6]Jie Bao, Uldis Bojars, Tanzeem Choudhury, Li Ding, Mark Greaves, Ashish Kapoor, Sandy Louchart, Manish Mehta, Bernhard Nebel, Sergei Nirenburg, Tim Oates, David L. Roberts, Antonio Sanfilippo, Nenad Stojanovic, Kristen Stubbs, Andrea Lockerd Thomaz, Katherine M. Tsui, Stefan Wölfl:
Reports of the AAAI 2009 Spring Symposia. AI Mag. 30(3): 89-95 (2009) - [c15]Bernhard Nebel, Stefan Wölfl:
Organizing Committee. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009 - [c14]Bernhard Nebel, Stefan Wölfl:
Preface. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 1 - [c13]Matthias Westphal, Stefan Wölfl:
Confirming the QSR Promise. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 41-46 - [c12]Matthias Westphal, Stefan Wölfl, Zeno Gantner:
GQR: A Fast Solver for Binary Qualitative Constraint Networks. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 51-52 - [c11]Matthias Westphal, Stefan Wölfl:
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. IJCAI 2009: 628-633 - [c10]Stefan Wölfl, Matthias Westphal:
On Combinations of Binary Qualitative Constraint Calculi. IJCAI 2009: 967-973 - [c9]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
- [j5]Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel, Christian Freksa:
SailAway: Spatial Cognition in Sea Navigation. Künstliche Intell. 22(1): 28-30 (2008) - [j4]Stefan Wölfl:
Spatial Cognition 2008 - Call for Papers. Künstliche Intell. 22(1): 77 (2008) - [c8]Marco Ragni, Stefan Wölfl:
Reasoning about Topological and Positional Information in Dynamic Settings. FLAIRS 2008: 606-611 - [e1]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. Lecture Notes in Computer Science 5248, Springer 2008, ISBN 978-3-540-87600-7 [contents] - 2007
- [c7]Stefan Wölfl, Till Mossakowski, Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS 2007: 665-670 - [c6]Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, Stefan Wölfl:
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. FLAIRS 2007: 673-674 - 2006
- [c5]Marco Ragni, Stefan Wölfl:
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. KR 2006: 472-480 - 2005
- [j3]Stefan Wölfl:
Events in Branching Time. Stud Logica 79(2): 255-282 (2005) - [c4]Stefan Wölfl, Till Mossakowski:
Casl Specifications of Qualitative Calculi. COSIT 2005: 200-217 - [c3]Marco Ragni, Stefan Wölfl:
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. KI 2005: 64-78 - [i1]Stefan Wölfl, Till Mossakowski, Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration 2005 - 2004
- [c2]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 - [c1]Marco Ragni, Stefan Wölfl:
Branching Allen. Spatial Cognition 2004: 323-343 - 2002
- [j2]Stefan Wölfl:
Propositional Q-Logic. J. Philos. Log. 31(5): 387-414 (2002)
1990 – 1999
- 1999
- [j1]Stefan Wölfl:
Combinations of Tense and Modality for Predicate Logic. J. Philos. Log. 28(4): 371-398 (1999)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
