[UAI] CfP: FLAIRS-06 - Evaluation and Refinement of Intelligent Systems * APOLOGIES IF YOU RECEIVE THIS MESSAGE MORE THAN ONCE *
Please note that deadline for paper submission is November 21, 2005

***********************************************************************

                      Special Track on

       Evaluation and Refinement of Intelligent Systems

                             at

    19th International Florida Artificial Intelligence Research
            Society Conference 2006 (FLAIRS-2006)

***********************************************************************


May 11-13, 2006, Holiday Inn Melbourne Oceanfront Melbourne Beach,
Florida, USA

The Florida AI Research Society (FLAIRS) was founded in 1987 to
promote and advance Artificial Intelligence. Membership is open to
all (Florida residents and non-residents) that attend our yearly
conference. FLAIRS hosts the conference in cooperation with the
American Association for Artificial Intelligence (AAAI).

 From its inception, one major goal of the society has been to promote
AI thorough a conference. These conferences have been held yearly
since the spring of 1988. In 1995 the conference title was changed to
"The International FLAIRS Conference" to recognize the contribution
of the international participants within the conference.

The 19th International FLAIRS Conference (FLAIRS-2006) is held in May
11-13, 2006 in Melbourne Beach, FL, USA.

Invited speakers at FLAIRS 2006 are Aalan Bundy (University of
Edinburgh, Scotland), Bob Morris (NASA Ames Research Center, USA),
Mehran Sahami (Stanford University and google, USA), and Barry Smyth
(University College Dublin, Ireland).

FLAIRS encourages student authors to submit papers. The best paper
with all-student authors will receive a best student paper award, in
the form of a cheque for the amount of the presenter registration
fee. Further awards for runner-up papers may be presented. If you are
the contact author of an all student paper, please email the program
co-chairs, Geoff Sutcliffe and Randy Goebel, to make your paper
eligible for this award.

Verification and Validation of AI systems was a popular topic in the
last years' FLAIRS.

More and more authors have realized that the lack of systematic
methods and formal techniques for Verification and Validation (V&V)
is often one important reason for not using AI systems in practice.
The first contributions in this field were limited to classical AI
systems. Actually, more and more papers on Verification and
Validation of non-classical kinds of systems (like case-based
systems, e.g.), knowledge processing principles (learning principles,
e.g.), and intelligent behavior are been published. Furthermore, the
refinement issue became a focus of our special Track.


The objective of the special track is to focus on the contributions
in these fields and to provide an environment for communicating
different paradigms and approaches, thus hopefully stimulating future
cooperation and synergistic activities.

The track will host any contributions to evaluate and refine
intelligent systems.

Possible fields of related papers are:

- Detecting and handling inconsistencies and other anomalies
   within knowledge bases
- Fundamentals and formal methods for verification of AI systems
- Fundamentals and formal methods and techniques of validity
   assessment of AI systems, AI principles, and intelligent
   behavior in general
- Special approaches to verify and/or validate certain kinds of
   AI systems: rule-based, case-based, ...
- Special approaches or tools to evaluate systems of a
   particular application field
- Knowledge base refinement by using the results of evaluation
- Problems in System Certification

Any paper related to these (and similar) areas are welcome!

Flairs'06 is in cooperation with The American Association for
Artificial Intelligence (AAAI). Papers will be refereed and all
accepted papers will appear in the conference proceedings which will
be published by AAAI Press.

Selected authors will be invited to submit extended versions of their
papers to a special issue of the International Journal on Artificial
Intelligence Tools (IJAIT) to be published in 2007.

Papers must be submitted in PDF format through the online submission
system. Authors of accepted papers will be required to sign a form
transferring copyright of their contribution to AAAI. An author of
each accepted paper is required to register and attend FLAIRS, and
present the paper.

Call for Papers

A full paper up to single-spaced 6 pages paper should be submitted.
Please, check the website http://www.indiana.edu/~flairs06/ for
information regarding submission.


Deadlines

paper submissions (FULL paper) due:
November 21, 2005

notification letters sent :
January 20, 2006

camera ready copy due:
February 13, 2006

Program Committee

Chair
  Rainer Knauf, Ilmenau Technical University, Ilmenau, Germany

Committee Members
  Joachim Baumeister, Wuerzburg University , Germany
  Avelino Gonzalez, University of Central Florida, Florida, USA
  Scott Y. Harmon, Ph.D., Zetetix, Oak Park, CA, USA
  Stephane Loiseau, Universite d'Angers, France
  Mieczyslaw Lech Owoc, Wroclaw University of Economics, Poland
  Silvie Spreeuwenberg, LibRT B.V., Amsterdam, The Netherlands
  Setsuo Tsuruta, Tokyo Denki University, Tokyo Japan
  Neli P. Zlatareva, Central Connecticut State University, CT, USA


