This workshop is a common event of the Fachausschuss for Inferencesystems and the speakers of its adjoint groups (Deductionsystems, Nonmonotonic Reasoning, Qualitative and model-based Reasoning, Fuzzy-Systems and Knowledge Representation). Unfortunately, due to the specialization-tendency in all parts of Artificial Intelligence and the growing number of specialized conferences and workshops, people working in our area (Inferencesystems) often do not know what is going on in neighbouring fields. We would like to provide a forum where researchers can learn about how methods in their own field can be successfully adapted to other domains or they can use how standard techniques developed in other fields. The central topic of our workshop is to present and critically discuss the current trends in the various groups mentioned above. Emphasis is put on common techniques, similarities and close relationships in these areas.

We solicit papers in the broad areas of:

• Inference Methods: nonmonotone, fuzzy, qualitative, probabilistic, modelbased
• Reasoning (interactiv/automatic) over formal Specifications, Verification of Knowledge-based Systems
• Temporal and spatial Reasoning, Reasoning over physical Systems
• Modelling of Actions, deductive Planning
• Representation and Standards of Knowledge,
• Task-specific Inference-calculi (Konfiguration, Diagnosis)
• Problems with practical Applications of Inferencesystems (Complexity, cognitive adequacy, ...)

Submissions should be limited to 10 pages (excluding title page and references) of standard LaTeX 12pt article format, either hardcopy (4 copies) or electronic (postscript files only). Electronic submissions are preferred.
We also accept position papers, overviews or critical ratings of current approaches. Papers leading to lively discussions are highly welcome. Submissions should be sent to either of the program chairs:

• Juergen Dix dix@informatik.uni-koblenz.de
• Steffen Hoelldobler sh@inf.tu-dresden.de

Participation to all workshops that are part of the KI '98 Conference requires to regularly attend and register either for the KI Conference, or the GMDS annual meeting or the UI Symposium. There are no additional fees for workshops.

Proceedings will appear as Technical Report of the University of Koblenz-Landau and made available at the WS. Authors of accepted papers are required to submitt a final version according to the Springer LNCS guidelines (10 pt). The submission can vary between 10 and 30 pages. Please send the final version in mid August to Juergen Dix.