Subject: CfP: FLAIRS-05 - Evaluation and Refinement of Intelligent Systems
From: Joachim Baumeister
 
Please note that deadline for paper submission is October 22nd, 
2004 
 
**************************************************************************************** 
 
Special Track on 
 
Evaluation and Refinement of Intelligent Systems 
 
at 18th International Florida Artificial Intelligence Research 
Society Conference 2005 May 16-18, 2005, The Adam's Mark Hotel, 
Clearwater Beach, Florida, USA 
 
**************************************************************************************** 
 
 
The Florida AI Research Society 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. 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 18th International FLAIRS Conference (FLAIRS-2005) is held in 
May 16-18, 2005 in Clearwater Beach, FL, USA. Invited speakers of 
FLAIRS-2005 are LAWRENCE HUNTER (Univ. of Colorado), MARTHA 
POLLACK (Univ. of Michigan), TED SENATOR (DARPA), AND DAVID STORK 
(Ricoh and Stanford Univ.). 
 
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. Moreover, there is a community of 
system developers and users who express a strong need for 
validation techniques for their systems (in the e-commerce and 
e-learning field,e.g.).  Thus, we generalized the track titled as 
described here. 
 
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 intelligent systems. 
Verification and Validation (V&V) are the most popular ones, but 
any other kind of evaluation types are also welcome. This also 
includes, but is not limited to, 
 
*   Evaluation issues in System Development, 
*   Evaluation for System Certification (including any 
    contributions besides technical ones in this field), and 
*   Using Evaluation results for Knowledge Maintenance and Refinement. 
 
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 and revision by using the results of 
    evaluation 
*   Problems in System Certification 
 
Any paper related to these (and similar) areas are welcome! 
Flairs'05 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 (IAAIT) 
to be published in 2006. 
 
Call for Papers A full paper up to single-spaced 6 pages paper 
should be submitted. Please, check the website 
www.flairs.com/flairs2005 for information regarding submission. 
 
Deadlines 
*   paper submissions (FULL paper) due: October 22, 2004 
*   notification letters sent : January 7, 2005 
*   camera ready copy due:  February 4, 2005 
 
Program Committee & Referees 
*   Rainer Knauf (program co-chair), Technical University of Ilmenau,  
Germany 
*   Avelino Gonzalez (program co-chair), University of Central Florida,  
Fl, USA 
*   Joachim Baumeister, Wuerzburg University , Germany 
*   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 
*   Takao Terano, Graduate School of Systems Management, University of  
Tsukuba, Tokyo 
*   Setsuo Tsuruta, Tokyo Denki University, Tokyo Japan 
*   Neli P. Zlatareva, Central Connecticut State University, CT, USA 
 
Further Information 
For further information contact Rainer Knauf: rainer.knauf@tu-ilmenau.de 
 
--  
 
Dr. Joachim Baumeister 
mailto:baumeister@ai-wuerzburg.de 
Applied Informatics and Artificial Intelligence 
University Wuerzburg