#### Filter Results:

- Full text PDF available (35)

#### Publication Year

1999

2015

- This year (0)
- Last 5 years (9)
- Last 10 years (29)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

GQR (Generic Qualitative Reasoner) is a solver for binary qualitative constraint networks. GQR takes a calculus description and one or more constraint networks as input, and tries to solve the networks using the path consistency method and (heuristic) backtracking. In contrast to specialized reasoners, it offers reasoning services for different qualitative… (More)

- Stefan Wölfl
- J. Philosophical Logic
- 1999

In recent years combinations of tense and modality have moved into the focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only… (More)

Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover, a formal software development process may lead to a change of formalism during the development. However, current research in integrated formal methods only deals with ad-hoc integrations… (More)

- Matthias Westphal, Stefan Wölfl, Zeno Gantner
- AAAI Spring Symposium: Benchmarking of…
- 2009

Qualitative calculi are constraint-based representation formalisms that allow for efficient reasoning about continuous aspects of the world with inherently infinite domains, such as time and space. GQR (Generic Qualitative Reasoner) is a tool that provides reasoning services for arbitrary binary qualitative calculi. Given qualitative information expressible… (More)

- Stefan Wölfl, Matthias Westphal
- IJCAI
- 2009

Qualitative constraint calculi are representation formalisms that allow for efficient reasoning about spatial and temporal information. Many of the calculi discussed in the field of Qualitative Spatial and Temporal Reasoning can be defined as combinations of other, simpler and more compact formalisms. On the other hand, existing calculi can be combined to a… (More)

- Stefan Wölfl, Till Mossakowski, Lutz Schröder
- Spatial Cognition: Specialization and Integration
- 2005

In the domain of qualitative constraint reasoning, a subfield of AI which has evolved in the past 25 years, a large number of calculi for efficient reasoning about spatial and temporal entities has been developed. Reasoning techniques developed for these constraint calculi typically rely on so-called composition tables of the calculus at hand, which allow… (More)

- Marco Ragni, Stefan Wölfl
- KI
- 2005

To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can change their position, shape, and size over time. In this paper we investigate how calculi discussed in the field of qualitative spatial reasoning (QSR) can be temporalized in order to… (More)

- Manuel Bodirsky, Stefan Wölfl
- IJCAI
- 2011

We construct an homogeneous (and ω-categorical) representation of the relation algebra RCC8, which is one of the fundamental formalisms for spatial reasoning. As a consequence we obtain that the network consistency problem for RCC8 can be solved in polynomial time for networks of bounded treewidth. Qualitative spatial reasoning (QSR) is concerned with… (More)

- Jochen Renz, Stefan Wölfl
- ECAI
- 2010

Route navigation is one of the most widely used everyday application of spatial data. In this paper we investigate how a qualitative representation of route networks can be derived from map data and how this representation can be used to reason about route descriptions. We introduce a concept of route graph that provides an abstract layer on top of metric… (More)

- Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
- IJCAI
- 2011

The generation of route descriptions is a fundamental task of navigation systems. A particular problem in this context is to identify routes that can easily be described and processed by users. In this work, we present a framework for representing route networks with the qualitative information necessary to evaluate and optimize route descriptions with… (More)