| 1994 | Cooperating to Be Noncooperative: The Dialog System PRACMA. | Anthony Jameson, Bernhard Kipper, Alassane Ndiaye, Ralph Schfer, Thomas Weis, Detlev Zimmermann |
| 1994 | Adapting Methods to Novel Tasks in Proof Planning. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jrn Richts |
| 1994 | Combining Spatial and Terminological Reasoning. | Volker Haarslev, Ralf Mller, Carsten Schrder |
| 1994 | Preselection Strategies for Case Based Classification. | Klaus Goos |
| 1994 | TabVer: A Case Study in Table Verbalization. | Ingo Glckner, Andrea Grieszl, Martin Eric Mller, Marc Ronthaler |
| 1994 | Strategies for Semantical Contractions. | Jrgen Giesl, Ingrid Neumann |
| 1994 | The Hardest Random SAT Problems. | Ian P. Gent, Toby Walsh |
| 1994 | Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques. | Thomas Fuhr, Franz Kummert, Gerhard Sagerer |
| 1994 | Learning to Discriminate Phases in Gas-Liquid Flow. | Bogdan Filipic, Iztok Zun, Matjaz Perpar |
| 1994 | An Optimal Bidirectional Search Algorithm. | Jrgen Eckerle |
| 1994 | The Stable Semantics and its Variants: A Comparison of Recent Approaches. | Jrgen Dix, Martin Mller |
| 1994 | Goal Oriented Equational Theorem Proving Using Team Work. | Jrg Denzinger, Matthias Fuchs |
| 1994 | Incorporating Specificity into Circumscriptive Theories. | James P. Delgrande, Torsten Schaub |
| 1994 | Prioritized Transitions for Updates. | Marie-Odile Cordier, Pierre Siegel |
| 1994 | A Conditional Logic for Updating in the Possible Models Approach. | Luis Farias del Cerro, Andreas Herzig |
| 1994 | Representing Concurrent Actions and Solving Conflicts. | Sven-Erik Bornscheuer, Michael Thielscher |
| 1994 | Epistemic Queries in Classic. | Andreas Becker, Gerhard Lakemeyer |
| 1994 | Rigid Unification by Completion and Rigid Paramodulation. | Grard Becher, Uwe Petermann |
| 1994 | A New Frame For Common-Sense Reasoning - Towards Local Inconsistencies. | Matthias Baaz, Karin Hrwein |
| 1994 | Cardinality Restrictions on Concepts. | Franz Baader, Martin Buchheit, Bernhard Hollunder |
| 1994 | When Nonmonotonicity Comes from Distances. | Nicholas Asher, Jrme Lang |
| 1994 | Using Charts for Transfer in MT. | Jan W. Amtrup |
| 1993 | KI-Methoden in der Finanzwirtschaft. | Christof Weinhardt, Stefan Kirn |
| 1993 | Ein wissensbasiertes Fahrzeug-Diagnosesystem fr den Einsatz in der Kfz-Werkstatt. | Norbert Waleschkowski, Thomas M. Forchert |
| 1993 | Verbmobil - Translation of Face-To-Face Dialogs. | Wolfgang Wahlster |