| 1997 | COLBERT: A Language for Reactive Control in Sapphira. | Kurt Konolige |
| 1997 | Many-Sorted Logic in a Learning Theorem Prover. | Thomas Kolbe, Sabine Glesner |
| 1997 | Mechanising Partiality With Re-implementation. | Manfred Kerber, Michael Kohlhase |
| 1997 | Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. | Steffen Hlldobler, Yvonne Kalinke, Helko Lehmann |
| 1997 | Reducing Lexical Redundancy by Augmenting Conceptual Knowledge. | Sven Hartrumpf, Marion Schulz |
| 1997 | Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming. | Michael Haag, Wolfgang Theilmann, Kart Schfer, Hans-Hellmut Nagel |
| 1997 | Causation and Nonmonotonic Temporal Reasoning. | Peter Grnwald |
| 1997 | Structured Incremental Proof Planning. | Stefan Gerberding, Brigitte Pientka |
| 1997 | Agents in Proactive Environments. | Dov M. Gabbay, Rolf Nossum, Michael Thielscher |
| 1997 | Connection Cutting for Contraction Free Logic. | Bertram Fronhfer |
| 1997 | An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind. | Carola Eschenbach, Lars Kulik |
| 1997 | Suffix Tree Automata in State Space Search. | Stefan Edelkamp |
| 1997 | Qualitative Spatial Representation and Reasoning Techniques. | Anthony G. Cohn |
| 1997 | Planning Diagonalization Proofs. | Lassaad Cheikhrouhou |
| 1997 | Fast Grid-Based Position TRacking for Mobile Robots. | Wolfram Burgard, Dieter Fox, Daniel Hennig |
| 1997 | Modelling Subjective Distances. | Bettina Berendt |
| 1997 | Labelled Quantified Modal Logics. | David A. Basin, Sen Matthews, Luca Vigan |
| 1997 | Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks. | Stefan K. Bamberger |
| 1997 | A Modal Computational Framework for Default Reasoning. | Alberto Artosi, Paola Cattabriga, Guido Governatori |
| 1996 | Constructive Disjunction Revisited. | Jrg Wrtz, Tobias Mller |
| 1996 | Syntactic Disambiguation by Using Categorial Parsing in a DOOD Framework. | Werner Winiwarter, Osami Kagawa, Yahiko Kambayashi |
| 1996 | A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty. | Klemens Schnattinger, Udo Hahn |
| 1996 | Representation in Auditory Cortex (Abstract). | Henning Scheich |
| 1996 | A Concept Language Extended with Different Kinds of Transitive Roles. | Ulrike Sattler |
| 1996 | Tools for Autonomous Agents (Abstract). | Stuart Russell |