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:
https://www.aaai.org/Forms/sssregistration-form.php
Hotel and travel information are available via the AAAI website:
http://www.aaai.org/Symposia/Spring/sss09.php

 

The symposium program is available online.