1 Search Results for "Sutcliffe, Georg"


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-dev.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}
}
  • Refine by Author
  • 1 Cohn, Anthony G.
  • 1 Renz, Jochen
  • 1 Sutcliffe, Georg
  • 1 Wölfl, Stefan

  • Refine by Classification

  • Refine by Keyword
  • 1 Qualitative reasoning
  • 1 benchmarking
  • 1 constraint satisfaction
  • 1 problem description language
  • 1 problem library
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2011

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