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

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


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

Co-located with
7th Conference on Computer Methods and Systems
AGH University of Science and Technology
Krakow, Poland, November 26-27, 2009

===== 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:
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:

===== Publication =====

The papers will be published as a technical report of the AGH UST before the workshop, as well as online as CEUR proceedings 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 (
G. J. Nalepa, AGH UST Krakow (

==== Program Committee ====

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

NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation
ICDM 2022   22nd IEEE International Conference on Data Mining
CFMAI 2022   2022 4th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2022)
ISCSIC 2022   2022 6th International Symposium on Computer Science and Intelligent Control(ISCSIC 2022)
ICICC 2023   2023 the 6th International Conference on Intelligent Control and Computing (ICICC 2023)
ICMLA 2022   IEEE International conference on Machine Learning and Applications
ISMSI 2023   2023 7th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
ICMLT 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)