• Media type: Text; E-Article; Electronic Conference Proceeding
  • Title: 10412 Summary and Abstracts Collection – QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning
  • Contributor: Wölfl, Stefan [Author]; Cohn, Anthony G. [Author]; Renz, Jochen [Author]; Sutcliffe, Georg [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemProc.10412.1
  • Keywords: problem description language ; temporal reasoning ; reasoning systems ; Qualitative reasoning ; problem library ; constraint satisfaction ; benchmarking ; spatial reasoning
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access