10.10.10 - 13.10.10, Seminar 10412
QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning
Organizers
Anthony G. Cohn (University of Leeds, GB)
Jochen Renz (Australian National University - Canberra, AU)
Geoff Sutcliffe (University of Miami, US)
Stefan Wölfl (Universität Freiburg, DE)
For support, please contact
Roswitha Bardohl for scientific aspects
Classification
- Artificial intelligence
- Data structures / algorithms / complexity
- Semantics / formal methods
- Logic
Keywords
- Qualitative reasoning
- Spatial reasoning
- Temporal reasoning
- Constraint satisfaction
- Benchmarking
- Problem library
- Problem description language
- Reasoning systems
