Special Issue on Model-based Reasoning

Aims and Scope

Model-based reasoning is a general and powerful technique which is applicable in a wide range of domains from finding faults in digital circuits to design, configuration, monitoring and more recently software debugging. Currently model-based diagnosis systems are developed and used for on-board and off-board diagnosis in cars, locating faults in (large) VHDL programs, monitoring of gas turbines, and other domains.

This special issue is aimed at presenting actual research results and also real-world systems currently in use to a greater audience. Research results should describe real-world problems and their solutions. In this context modelling aspects, algorithms, and diagnosis theories should be addressed. Papers describing systems currently implemented together with practical results and benefits, e.g., cost reduction, or increased productivity, are also welcome. All submissions should be easy to read even for an unexperienced reader in this domain.

Topics

Areas of interest include, but are not limited to:

• Model-based diagnosis (abductive, consistency-based), monitoring, design and configuration.
• Diagnosis process: repair, sensor placement, test case selection.
• Modelling aspects and knowledge acquisition for model-based systems.
• Model-based applications currently used or under evaluation from all fields such as medicine, chemical, mechanical, electrical, electronic and software debugging or design.
• Case studies about all aspects of experiences obtained by using model-based systems (benefits, user acceptance, ...).

Papers should report innovative ideas, practical results, or applications of model-based reasoning.

Submissions

Authors are invited to submit a full paper (up to 15 pages). A LaTeX-style file and formating instructions can be obtained from:

http://www.dbai.tuwien.ac.at/AICOM/

Electronic submissions in postscript or preferably pdf format sent to the guest editor are strongly encouraged. Alternatively, five hard-copies should be received before October 5, 1998 by the guest editor. Submissions are refereed according to the AI Communications refereeing policy. Authors will be notified of acceptance of their paper by December 14, 1998.

Guest Editor

Franz Wotawa
Technische Universität Wien
Institut für Informationssysteme
Paniglgasse 16
A-1040 Wien, Austria
Tel: +43 (1) 58801 6128
Fax: +43 (1) 5055304
Email: wotawa@dbai.tuwien.ac.at
WWW: http://www.dbai.tuwien.ac.at/staff/wotawa/

Important Dates