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, Georg Sutcliffe



PDF
Thumbnail PDF

File

DagSemProc.10412.1.pdf
  • Filesize: 288 kB
  • 20 pages

Document Identifiers

Author Details

Stefan Wölfl
Anthony G. Cohn
Jochen Renz
Georg Sutcliffe

Cite AsGet BibTex

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)
https://doi.org/10.4230/DagSemProc.10412.1

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.
Keywords
  • Qualitative reasoning
  • spatial reasoning
  • temporal reasoning
  • constraint satisfaction
  • benchmarking
  • problem library
  • problem description language
  • reasoning systems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
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