posted by user: gjn || 2969 views || tracked by 4 users: [display]

DERIS 2009 : International Workshop on Design, Evaluation and Refinement of Intelligent Systems

FacebookTwitterLinkedInGoogle

Link: http://home.agh.edu.pl/gjn/deris
 
When Nov 28, 2009 - Nov 28, 2009
Where Kraków, Poland
Abstract Registration Due Sep 14, 2009
Submission Deadline TBD
Notification Due Oct 3, 2009
Final Version Due Oct 26, 2009
Categories    artificial intelligence   evaluation   design   refinement
 

Call For Papers

====== DERIS Workshop ======

International Workshop on
Design, Evaluation and Refinement of Intelligent Systems (DERIS)
AGH University of Science and Technology
Krakow, Poland, November 28, 2009
http://home.agh.edu.pl/gjn/deris

Co-located with
7th Conference on Computer Methods and Systems
AGH University of Science and Technology
Krakow, Poland, November 26-27, 2009
http://www.cms.agh.edu.pl/


===== Background =====

Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important issue from the very beginning of their applications. These issues were an important research area and engineering aspect in 80' and 90'. Number of conceptual approaches as well as practical tools were developed then.

With time the focus of research in the design of intelligent systems moved away from these topics, towards knowledge representation and processing, the Semantic Web technologies, and number of AI-inspired areas. However, recently number of researches have realized that the lack of systematic methods and formal techniques for the design, evaluation and refinement is often an important reasons for limited applications of even mature intelligent systems. Therefore, there is a growing need to return to some of the basic issues in this field.

Today, in fact, the classic approach to the Evaluation, Verification, Validation and Refinement have to be assessed from the new perspectives. The practical design issues are of prime importance. The integration of Intelligent Systems with mainstream technologies and design approaches from Software Engineering is especially important. The quality issues need to be considered as early as possible during the Design phase of the system.




===== Aims and Scope =====

The goal of the workshop is to rebuild the community interested in topics of Evaluation, Verification, Validation and Refinement, as well as attract new researchers to the field.

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



===== Topics of Interest =====

Topics of interest are mainly located in the area of
Evaluation, Verification, Validation and Refinement
and include but are not limited to:
* Principles in knowledge systems and ontology design
* 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
* Development and evaluation of ontologies
* Maintenance and evolution of knowledge systems and ontologies
* Methods for the evaluation of distributed knowledge bases
* Evaluation of semi-formal knowledge bases
* Problems in system certification
* Ontology and knowledge capture
* Evaluation of Semantic Web applications
* Formal methods in Verification and Evaluation of Intelligent Systems


===== Intended Audience =====

We expect researchers and practitioners from the areas of knowledge and software evaluation, verification, validation, and refinement. No limitation on the number of participants is planned.


===== Submission Details =====

Authors are expected to initially submit extended abstracts, or draft versions of papers. The submitted works will be reviewed by at least two members of the program committee. The goal of the reviewing process is mainly providing comments and to suggest improvement.

Papers should be formatted according to the Springer LNCS guidelines. The length of each paper should not exceed 12 pages for regular papers and 6 pages for short, or work in progress papers (including figures and references), see: ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip
All papers must be written in English and submitted in PDF format with the A4 paper size explicitly set in LaTeX. Submissions will be made via EasyChair: http://www.easychair.org/conferences/?conf=deris2009


===== Publication =====

The papers will be published as a technical report of the AGH UST before the workshop, as well as online as CEUR proceedings http://ceur-ws.org after the event, edited by the workshop chairs.

A Journal Special Issue of selected and revised papers of two subsequent DERIS workshops is planned in 2010.


===== Important dates =====

* Extended Abstract submission : September 14, 2009
* Notification of paper acceptance: October 3, 2009
* Camera ready copy submission: October 26, 2009
* The Workshop: November 28, 2009


===== Organization =====

The one-day workshop will be held with presentations of accepted papers.
A comfortable time slot for discussion of all papers will be given.


==== Workshop Chairs ====

A. Lige1za, AGH UST Krakow (ligeza@agh.edu.pl)
G. J. Nalepa, AGH UST Krakow (gjn@agh.edu.pl)


==== Program Committee ====
(tentative)

M. Atzmller, University of Wrzburg, Germany
J. Baumeister, University Wrzburg, Germany
K. P. Jantke, Fraunhofer IDMT, Germany
R. Knauf, TU Ilmenau, Germany
A. Lige1za, AGH UST Krakow, Poland
G. J. Nalepa, AGH UST, Krakow, Poland
M. L. Owoc, Wroclaw University of Economics, Poland
S. Spreeuwenberg, LibRT B.V., Amsterdam, The Netherlands
D. H. Sleeman, University of Aberdeen, United Kingdom

Related Resources

CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
MLIS 2024   The 6th International Conference on Machine Learning and Intelligent Systems (MLIS 2024)
ECAI 2024   27th European Conference on Artificial Intelligence
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
ICCIS 2024   6th International Conference on Communication and Intelligent Systems
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
IEEE ICCR 2024   IEEE--2024 6th International Conference on Control and Robotics (ICCR 2024)
AICCC 2024   ACM--2024 7th Artificial Intelligence and Cloud Computing Conference (AICCC 2024)