Introduction

This  international workshop series, originating within the artificial intelligence community, focuses on theories, principles and computational techniques for diagnosis, testing, reconfiguration and repair of complex systems. It also focuses on transfer of
these theories, principles and techniques to industrial applications of diagnostic problem solving.
This lively annual forum fosters interaction and cooperation among researchers with diverse interests and approaches to diagnosis in Artificial Intelligence, such as model-based reasoning, as well as in related areas, such as FDI and control. The workshop has traditionally adopted a single-track program, and limited the number of participants to support technical exchange and debate.

We solicit papers in a variety of areas relating to diagnostic problem solving, including but not limited to:

• Formal theories of diagnosis, monitoring, testing, repair, reconfiguration and related topics.

• Computational methods for diagnosis, monitoring, testing, repair, reconfiguration and related topics.

• Modeling: symbolic, numeric, discrete, continuous, hybrid discrete/continuous, probabilistic, functional, behavioral, qualitative, abstractions and approximations.

• Computational issues: controlling combinatorial explosion, focusing strategies, limiting computation for complex systems, use of structural knowledge, use of hierarchical knowledge, abstraction and approximation techniques.

• The diagnosis process: repair strategies, sensor placement, test selection, resource-bounded reasoning, real-time diagnosis, on-board autonomous operation, active testing, experiment design, predictive diagnosis, contingency planning.

• Connections between diagnosis and other areas: FDI techniques, control theory, design, machine learning, nonmonotonic reasoning, planning, execution, Bayesian reasoning, Markov modeling, real time languages, software V&V, debugging, synthesis, hardware testing.

• Principled applications and technology transfer: real-world applications and integrated systems in a wide range of fields including medical, chemical, mechanical, electrical, electro-mechanical and electronics systems. We especially welcome insights on whether and why a specific technique succeeded (or failed) in a real context.

Papers must not exceed 5000 words, excluding references and abstract. The text should be in 12 point type
with a minimum of 1-inch margins on both sides. Final papers must be submitted in AAAI format.
Workshop notes will only be distributed to participants to facilitate resubmission of papers to conferences or journals.

Authors must submit their paper's title and abstract via email to dx01@ksl.stanford.edu by November 15, 2000. A postscript or pdf file of the full paper should then be emailed to dx01@ksl.stanford.edu by November 17, 2000. Although postscript submissions are preferred, authors may also send hardcopies of their papers to Sheila McIlraith
at the address below; 4 copies of each paper must be received by November 17, 2000.

Please include postal addresses, electronic mail, fax, and telephone numbers on the cover page of all papers.
Authors will be notified of acceptance or rejection by January 5, 2001. Accepted papers should be revised to
accommodate the referee comments before final submission for inclusion in the workshop working notes.
Camera-ready copies of the final paper are due by February 5, 2001.

For those who wish to attend the Workshop without submitting a paper, please email a short abstract
describing your research interests to dx01@ksl.stanford.edu  by November 17, 2000. Invitations will be mailed out
by January 5, 2001. To promote active discussion at the workshop, attendance will be by invitation only.

People

Workshop Program Co-chairs

Sheila McIlraith
Knowledge Systems Laboratory
Department of Computer Science
Gates Bldg 2A-248
Stanford University
Stanford, CA 94305-9020, USA
sam@ksl.stanford.edu

Daniele Theseider Dupré
Dipartimento di Scienze e Tecnologie Avanzate
Università del Piemonte Orientale
Corso Borsalino 54
I-15100 Alessandria, Italy
dtd@mfn.unipmn.it

Workshop Organization

Luca Console
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185
I-10149 Torino, Italy
Luca.Console@di.unito.it

Program Committee

Gautam Biswas (Vanderbilt University, USA)
Dan Clancy (NASA Ames Research Center, USA)
Marie Odile Cordier (IRISA, France)
Adnan Darwiche (UCLA, USA)
Peter Lucas (University of Aberdeen, UK)
Jan Lunze (TU Hamburg-Harburg, Germany)
Rob Milne (Intelligent Applications Ltd, UK)
Jacky Montmain (EMA-CEA, France)
Chris Price (First Earth Ltd & Univ. Aberystwyth, UK)
Greg Provan (Rockwell Science Center, USA)
Meera Sampath (Xerox Research (NY), USA)
Peter Struss (Occ'm Software & TU Munich, Germany)
Mugur Tatar (Daimler Chrysler, Germany)
Takashi Washio (Osaka Univ., Japan)
Brian Williams (MIT, USA)
Franz Wotawa (TU Vienna, Austria)
Marina Zanella (Università di Brescia, Italy)
Feng Zhao (Xerox PARC, USA)

Important Dates

Abstract submission deadline: November 15, 2000
Paper submission deadline: November 17, 2000
Acceptance notification: January 5, 2001
Camera-ready copy due: February 5, 2001
Workshop: March 7-9, 2001