| 1998 | GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. | Dirk Hhnel, Wolfram Burgard, Gerhard Lakemeyer |
| 1998 | OBDDs in Heuristic Search. | Stefan Edelkamp, Frank Reffel |
| 1998 | Structured Reactive Communication Plans - Integrating Conversational Actions into High-Level Robot Control Systems. | Michael Beetz, Hanno Peters |
| 1998 | Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. | Franz Baader, Ralf Ksters |
| 1998 | Simultaneous Quantifier Elimination. | Serge Autexier, Heiko Mantel, Werner Stephan |
| 1997 | Resource-Adaptive Action Planning in a Dialogue System for Repair Support. | Thomas Weis |
| 1997 | Parsing N Best Trees from a Word Lattice. | Hans Weber, Jrg Spilker, Gnther Grz |
| 1997 | Learning and Interpretation of the Layout of Structured Documents. | Hanno Walischewski |
| 1997 | Reasoning About Exceptions (Extended Abstract). | Leendert W. N. van der Torre, Yao-Hua Tan |
| 1997 | Multi-flip Networks: Parallelizing GenSAT. | Antje Strohmaier |
| 1997 | Integrating an Equality Prover into a Software Development System Based on Type Theory. | Martin Strecker, Maria Sorea |
| 1997 | Expert System in Additional Finishing. | Nenad Stojanovic, Ljiljana Stoiljkovic, Dejan Milenovic, V. Stoiljkovic |
| 1997 | Tabu Search vs. Random Walk. | Olaf Steinmann, Antje Strohmaier, Thomas Sttzle |
| 1997 | Conceptualizing Adjectives. | Steffen Staab |
| 1997 | Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence. | Klemens Schnattinger, Udo Hahn |
| 1997 | Making Objects More Knowledgeable. | Susanne Schacht, Udo Hahn |
| 1997 | From Linear Proofs to Direct Logic with Exponentials. | Enno Sandner |
| 1997 | Representation and Processing of Qualitative Orientation Knowledge. | Ralf Rhrig |
| 1997 | A Graphical User Interface for an ECG Classifier System. | Jrg Nilson, Gabriella Kkai |
| 1997 | Defining Decision Rules in Signed Horn Clauses. | Barbara Messing |
| 1997 | External Analogy in Inductive Theorem Proving. | Erica Melis, Jon Whittle |
| 1997 | A Contribution to the Question of Authenticity of Resus Using Part-of-Speech Tagging. | Bernd Ludwig |
| 1997 | Minimal Model Generation Based on E-hyper Tableaux. | Wenjin Lu |
| 1997 | Machine Learning for Adaptive User Interfaces. | Pat Langley |
| 1997 | Rigid Hypertableaux. | Michael Khn |