Search Results

Documents authored by Wölfl, Stefan


Document
10412 Summary and Abstracts Collection – QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning

Authors: Stefan Wölfl, Anthony G. Cohn, Jochen Renz, and Georg Sutcliffe

Published in: Dagstuhl Seminar Proceedings, Volume 10412, QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning (2011)


Abstract
The Dagstuhl seminar "QSTRLib" was planned as a successor event of the previously mentioned AAAI Spring Symposium. The intention for organizing this seminar was to discuss requirements on a problem library in a small group of researchers with expertise in benchmarking, in formal approaches to qualitative reasoning, or in specific application areas of QSTR.

Cite as

Stefan Wölfl, Anthony G. Cohn, Jochen Renz, and Georg Sutcliffe. 10412 Summary and Abstracts Collection – QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning. In QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning. Dagstuhl Seminar Proceedings, Volume 10412, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{wolfl_et_al:DagSemProc.10412.1,
  author =	{W\"{o}lfl, Stefan and Cohn, Anthony G. and Renz, Jochen and Sutcliffe, Georg},
  title =	{{10412 Summary and Abstracts Collection – QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning}},
  booktitle =	{QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10412},
  editor =	{Stefan W\"{o}lfl and Anthony G. Cohn and Jochen Renz and Geoff Sutcliffe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10412.1},
  URN =		{urn:nbn:de:0030-drops-31420},
  doi =		{10.4230/DagSemProc.10412.1},
  annote =	{Keywords: Qualitative reasoning, spatial reasoning, temporal reasoning, constraint satisfaction, benchmarking, problem library, problem description language, reasoning systems}
}
Document
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

Authors: Stefan Wölfl, Till Mossakowski, and Lutz Schröder

Published in: Dagstuhl Seminar Proceedings, Volume 5491, Spatial Cognition: Specialization and Integration (2007)


Abstract
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 for replacing semantic reasoning by symbolic operations. Often these composition tables are developed in a quite informal, pictorial manner and hence composition tables are prone to errors. In view of possible safety critical applications of qualitative calculi, however, it is desirable to formally verify these composition tables. In general, the verification of composition tables is a tedious task, in particular in cases where the semantics of the calculus depends on higher-order constructs such as sets. In this paper we address this problem by presenting a heterogeneous proof method that allows for combining a higher-order proof assistance system (such as Isabelle) with an automatic (first order) reasoner (such as SPASS or VAMPIRE). The benefit of this method is that the number of proof obligations that is to be proven interactively with a semi-automatic reasoner can be minimized to an acceptable level.

Cite as

Stefan Wölfl, Till Mossakowski, and Lutz Schröder. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In Spatial Cognition: Specialization and Integration. Dagstuhl Seminar Proceedings, Volume 5491, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{wolfl_et_al:DagSemProc.05491.9,
  author =	{W\"{o}lfl, Stefan and Mossakowski, Till and Schr\"{o}der, Lutz},
  title =	{{Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables}},
  booktitle =	{Spatial Cognition: Specialization and Integration},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{5491},
  editor =	{Anthony G. Cohn and Christian Freksa and Bernhard Nebel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05491.9},
  URN =		{urn:nbn:de:0030-drops-9798},
  doi =		{10.4230/DagSemProc.05491.9},
  annote =	{Keywords: Knowledge representation and reasoning, geometric and spatial reasoning, qualitative reasoning, automated versus interaction proving, heterogeneous}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail