TY - GEN
AU - Wölfl, Stefan
AU - Cohn, Anthony G.
AU - Renz, Jochen
AU - Sutcliffe, Georg
AU - Stefan Wölfl and Anthony G. Cohn and Jochen Renz and Georg Sutcliffe
TI - 10412 Summary and Abstracts Collection – QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - temporal reasoning
KW - spatial reasoning
KW - constraint satisfaction
KW - reasoning systems
KW - benchmarking
KW - problem library
KW - problem description language
KW - Qualitative reasoning
PY - 2011
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation