You are here: Home

2009 AAAI Spring Symposium

Benchmarking of
Qualitative Spatial and Temporal Reasoning Systems

Stanford University, CA, USA
March 23-25, 2009


The aim of the symposium is to underpin the development of theoretically well-founded and community-wide accepted evaluation standards and benchmarking problems for qualitative formalisms, reasoning techniques, and implemented reasoning systems. This includes:

  • the measures to compare different qualitative constraint formalisms in terms of cognitive adequacy, expressiveness, and computational efficiency
  • the development of a domain and problem specification language for benchmarking problems
  • the identification of significant benchmark domains and problem instances, and the creation of a problem repository
  • the measures to evaluate the performance of reasoning systems


Confirmed Keynote Talks

  • Geoff Sutcliffe (University of Miami)
  • Toby Walsh (NICTA/University of New South Wales)
  • Michael Witbrock (CycEurope)


Registration, Hotels, and Travel Information

For the registration, see:
Hotel and travel information are available via the AAAI website:


The symposium program is available online.