The Fifth International Workshop on Principles of Diagnosis New Paltz, NY, USA October 17th-19th, 1994 Call for Papers This is an annual workshop to encourage interaction and cooperation among researchers in artificial intelligence with diverse approaches to diagnosis. Previous workshops in this series were held in Aberystwyth (UK) in 1993, Washington State (USA) in 1992, Milan (Italy) in 1991, at Stanford University (USA) in 1990, and in Paris (France) in 1989. Attendance is by invitation, with three days of presentations and substantial time reserved for discussion. Those interested in presenting should submit papers for review by the committee. Submissions are welcome on (but not limited to) the following topics: - Theory of diagnosis: abductive, deductive, or probabilistic theories. - Inductive approaches to diagnosis: learning from examples, case-based reasoning, neural nets. - Computational issues: controlling combinatorial explosion; focusing strategies; controlling inference in complex systems; use, inference, or absence of structural knowledge. - Modelling for diagnosis: multiple, approximate, incomplete, probabilistic, and qualitative models; integration of heuristics with model-based diagnosis; principles of modelling; dynamic systems; modelling complex systems. Acquiring models and diagnostic knowledge. - The diagnosis process: Strategies for Repair, Sensor Placement, Test Selection, Resource-bound diagnosis. - Understanding the principles behind practical applications. Evaluation of the practical benefits of theoretical results. - The relationship between diagnosis and other areas, particularly Logic Programming, Machine Learning, Control Theory, and Software V&V debugging/synthesis. - Principled Applications: real-world applications are encouraged, from a wide range of fields, such as control theory, medicine, chemical engineering, electrical engineering, etc. Papers should make some contribution towards the principles of diagnostic reasoning. Of interest are the diagnostic techniques used, in particular the relationship between formal models of diagnosis and the techniques needed in practice. Although not a requirement, previously unpublished work is preferred. Papers are limited to a maximum of 5000 words; shorter papers are encouraged, but space should be used to ensure adequate presentation. Include postal (and courier) addresses, electronic mail, fax, and telephone numbers. Please indicate whether you wish to present or only attend. The conference chair (below) must receive three paper copies of each submission by May 23rd, 1994, and notifications will be sent by July 25th. Accepted papers can be revised for inclusion in the workshop working notes. Workshop chair: Gregory Provan Institute for Decision Systems Research 350 Cambridge Avenue, Suite 380 Palo Alto, CA 94306-1546 USA Phone: +1 415 324 9898 Fax: +1 415 322 3554 email: provan@camis.stanford.edu Local Arrangements Chair: to be announced. Committee: D. Allport (Hewlett Packard, UK), I. Mozetic (T.U. Wien, Austria \& ARIAI) R. Atkinson (U. Exeter, UK), W. Nejdl (U. Aachen, Germany) R. Bakker (U. Twente, Netherlands), J. Pearl (UCLA, USA) B. Chandrasekaran (Ohio State U., USA), C. Preist (HP, UK) L. Console (U. Udine, Italy) , G. Provan (IDSR, USA) G. Cooper (U. Pittsburgh, USA), J. Reggia (U. Maryland, USA) M.O. Cordier (IRISA, France) , E. Scarl (Boeing, USA) P. Dague (U. Paris, France), J. Sticklen (Michigan State U., USA) J. de Kleer (XEROX PARC, USA), P. Struss (T.U. Munich, Germany) W. Hamscher (Price Waterhouse, USA), P. Szolovits (MIT, USA) R. Leitch (Herriott-Watt U., UK) , P. Torasso (U. Torino, Italy) S. McIlraith (U. Toronto, Canada), L. Ungar (U. Pennsylvania, USA) R. Milne (Intelligent Applications, USA).