DagSemProc.10412.1.pdf
- Filesize: 288 kB
- 20 pages
Document
10412 Summary and Abstracts Collection – QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 10412
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2011-05-04
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
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)
0PDF Downloads