Logic List Mailing Archive

AITA 2008, Architectures for Intelligent Theory-Based Agents

26-28 March 2008
Stanford CA, U.S.A.

CALL FOR PARTICIPATION
                               AITA08

           Architectures for Intelligent Theory-Based Agents
                         March 26-28 2008,
 	     Stanford University, California, USA.

We invite you to attend AITA08, the International Symposium on 
Architectures for Intelligent Theory-Based Agents, to be held as part of 
the AAAI Spring Symposium Series, March 26-28 2008, at Stanford 
University, California, USA.

The focus of this symposium is the definition of architectures for 
intelligent theory-based agents. These architectures typically comprise 
languages, knowledge representation methodologies, reasoning algorithms, 
and control loops.

The motivation of the symposium is the consideration that a number of 
reasonably rigorous architectures have been designed, but not implemented, 
that allow one to prove important properties about the agents and their 
behavior, while other reasonably rigorous architectures have been 
implemented without attendant proofs about their agents.

Unfortunately, there has not yet been much interaction among the groups 
working on these two classes of architectures. The lack of communication 
contributes to slowing the development of an otherwise interesting and 
potentially very important area.

We intend to provide a forum to bring together researchers from these two 
groups, promote interaction, and stimulate the investigation of the 
relationships among the different approaches.

Key topics covered during the symposium are descriptions of specific 
architectures, comparisons of architectures, surveys of the 
state-of-the-art. The discussion will include overviews of languages, 
knowledge representation methodologies, reasoning algorithms, and control 
loops used in the architectures considered.


Further Information
The 2008 AAAI Spring Symposium Series will be held Wednesday - Friday,
March 26-28 at Stanford University. Registration and hotel information, as
well as an online registration form, are available at:
http://www.aaai.org/Symposia/Spring/sss08.php

Important dates:
* February 11, 2008: Sheraton Hotel reservation cut-off date
* February 26, 2008: Deadline for scholarship applications
* February 28, 2008: Notification of scholarship awards
* February 29, 2008: Final (open) registration deadline
* March 26-28, 2008: Symposium


Financial Aid
A limited number of scholarships is available for students attending the
symposium. Interested students can apply by sending a one-page description
of their research interests and a recommendation letter from their advisor
to Marcello Balduccini at aita08.aaai@gmail.com.


Organizing Committee
Marcello Balduccini, Texas Tech University/Kodak Research Labs; Chitta
Baral, Arizona State University; Thomas Eiter, Vienna University of
Technology; Alfredo Gabaldon, National ICT Australia; Stuart C. Shapiro,
University at Buffalo; Francesca Toni, Imperial College London.


Accepted Papers
The list of accepted papers is available at:
           http://krlab.cs.ttu.edu/~marcy/aita08/accepted.htm


For More Information
For up-to-date information about the symposium please visit:
              http://krlab.cs.ttu.edu/~marcy/aita08