Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Wölfl 0001

> Home > Persons

Person information

affiliation: University of Freiburg, Department of Computer Science

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/Westphal0NR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/Westphal0NR15
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions. J. Philos. Log. 44(2): 177-201 (2015)
2011
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/scc/BhattGWH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scc/BhattGWH11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scc/WestphalDWGN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scc/WestphalDWGN11
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)
2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/BaoBCDGKLMNNORSSSTTW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/BaoBCDGKLMNNORSSSTTW09
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)
2008
[j5]
- view
  - electronic edition @ kuenstliche-intelligenz.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/ki/WolterDWWFNF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/WolterDWWFNF08
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]
- view
  - electronic edition @ kuenstliche-intelligenz.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/ki/Wolfl08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Wolfl08
Stefan Wölfl:
Spatial Cognition 2008 - Call for Papers. Künstliche Intell. 22(1): 77 (2008)
2005
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Wolfl05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Wolfl05
Stefan Wölfl:
Events in Branching Time. Stud Logica 79(2): 255-282 (2005)
2002
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/Wolfl02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/Wolfl02
Stefan Wölfl:
Propositional Q-Logic. J. Philos. Log. 31(5): 387-414 (2002)
1999
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/000199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/000199
Stefan Wölfl:
Combinations of Tense and Modality for Predicate Logic. J. Philos. Log. 28(4): 371-398 (1999)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/HengelWN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/HengelWN16
Matthias Hengel, Stefan Wölfl, Bernhard Nebel:
Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations. Description Logics 2016
2014
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/HueWW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/HueWW14
Julien Hué, Matthias Westphal, Stefan Wölfl:
Towards a New Semantics for Possibilistic Answer Sets. KI 2014: 159-170
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/WestphalHW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/WestphalHW14
Matthias Westphal, Julien Hué, Stefan Wölfl:
On the Scope of Qualitative Constraint Calculi. KI 2014: 207-218
2013
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/WestphalHW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/WestphalHW13
Matthias Westphal, Julien Hué, Stefan Wölfl:
On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. ICTAI 2013: 46-54
[c21]
- view
- export record
  dblp key:
  - conf/ijcai/WestphalHWN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WestphalHWN13
Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel:
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. IJCAI 2013: 1169-1175
2012
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/HueWW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/HueWW12
Julien Hué, Matthias Westphal, Stefan Wölfl:
An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. ICTAI 2012: 588-595
2011
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/BodirskyW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BodirskyW11
Manuel Bodirsky, Stefan Wölfl:
RCC8 Is Polynomial on Networks of Bounded Treewidth. IJCAI 2011: 756-761
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/WestphalWNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WestphalWNR11
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions: Representation and Computational Complexity. IJCAI 2011: 1120-1125
2010
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/RenzW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/RenzW10
Jochen Renz, Stefan Wölfl:
A Qualitative Representation of Route Networks. ECAI 2010: 1091-1092
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/WestphalWL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/WestphalWL10
Matthias Westphal, Stefan Wölfl, Jason Jingshi Li:
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. ECAI 2010: 1093-1094
2009
[c15]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/NebelW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/NebelW09
Bernhard Nebel, Stefan Wölfl:
Organizing Committee. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009
[c14]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/NebelW09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/NebelW09a
Bernhard Nebel, Stefan Wölfl:
Preface. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 1
[c13]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/WestphalW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/WestphalW09
Matthias Westphal, Stefan Wölfl:
Confirming the QSR Promise. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 41-46
[c12]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/WestphalWG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/WestphalWG09
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]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/WestphalW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WestphalW09
Matthias Westphal, Stefan Wölfl:
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. IJCAI 2009: 628-633
[c10]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/WolflW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WolflW09
Stefan Wölfl, Matthias Westphal:
On Combinations of Binary Qualitative Constraint Calculi. IJCAI 2009: 967-973
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/PommereningWW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/PommereningWW09
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
[c8]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/RagniW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/RagniW08
Marco Ragni, Stefan Wölfl:
Reasoning about Topological and Positional Information in Dynamic Settings. FLAIRS 2008: 606-611
2007
[c7]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/WolflMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/WolflMS07
Stefan Wölfl, Till Mossakowski, Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS 2007: 665-670
[c6]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/WolterDFWNW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/WolterDFWNW07
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/RagniW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/RagniW06
Marco Ragni, Stefan Wölfl:
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. KR 2006: 472-480
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cosit/WolflM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cosit/WolflM05
Stefan Wölfl, Till Mossakowski:
Casl Specifications of Qualitative Calculi. COSIT 2005: 200-217
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/RagniW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/RagniW05
Marco Ragni, Stefan Wölfl:
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. KI 2005: 64-78
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Wolfl04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Wolfl04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spatialCognition/RagniW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spatialCognition/RagniW04
Marco Ragni, Stefan Wölfl:
Branching Allen. Spatial Cognition 2004: 323-343

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2020
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/degruyter/20/Nebel020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/degruyter/20/Nebel020
Bernhard Nebel, Stefan Wölfl:
Wissensrepräsentation und -verarbeitung. Handbuch der Künstlichen Intelligenz 2020: 27-56
2013
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/ol/13/Nebel013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ol/13/Nebel013
Bernhard Nebel, Stefan Wölfl:
Wissensrepräsentation und -verarbeitung. Handbuch der Künstlichen Intelligenz 2013: 105-128

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2010
[e2]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10412
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]
2008
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/spatialCognition/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spatialCognition/2008
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2010
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/0001CRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/0001CRS10
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
2005
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/WolflMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/WolflMS05
Stefan Wölfl, Till Mossakowski, Lutz Schröder:
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration 2005

Coauthor Index

see FAQ

a service of

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.