| 1995 | Distinction Networks. | William M. Bricken |
| 1995 | Temporal Logic Based on Characteristic Functions. | Maroua Bouzid, Antoni Ligeza |
| 1995 | Parallelizing Description Logics. | Frank W. Bergmann, J. Joachim Quantz |
| 1995 | The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors. | Ruzena Bajcsy, Jana Koseck |
| 1994 | A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory. | Gerson Zaverucha |
| 1994 | Interval Situation Calculus. | Eugenia Ternovskaia |
| 1994 | Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Agent. | Eva Stopp, Klaus-Peter Gapp, Gerd Herzog, Thomas Laengle, Tim C. Lth |
| 1994 | Probabilistic Justification of Default Reasoning. | Gerhard Schurz |
| 1994 | The NeuDB-System: Towards the Integration of Neural Networks and Database Systems. | Erich Schikuta |
| 1994 | Graphtheoretical Algorithms and Knowledge-Based Design. | Kristina Schdler |
| 1994 | Detecting Gestalts in CAD-Plans to be Used as Indices for Case-Retrieval in Architecture. | Jrg Walter Schaaf |
| 1994 | Coherent Choice and Epistemic Entrechment (Preliminary Report). | Hans Rott |
| 1994 | Using Rough Sets Theory to Predict German Word Stress. | Stefan Rapp, Michael Jessen, Grzegorz Dogil |
| 1994 | Weighted Defaults in Description Logics: Formal Properties and Proof Theory. | Joachim Quantz, Sven Suska |
| 1994 | An Artificial Neural Network for High Precision Eye Movement Tracking. | Marc Pomplun, Boris M. Velichkovsky, Helge J. Ritter |
| 1994 | Robust Constructive Induction. | Bernhard Pfahringer |
| 1994 | Conflicts in the Spatial Interaction of Autonomous Agents. | J. S. J. H. Penders |
| 1994 | AI Approaches Towards Sensor-Based Driver Support in Road Vehicles. | Hans-Hellmut Nagel |
| 1994 | Knowledge-Level Modularization of a Complex Knowledge Base. | Josef Meyer-Fujara, Barbara Heller, Sonja Schlegelmilch, Ipke Wachsmuth |
| 1994 | Formal Methods for Automated Program Improvement. | Peter Madden |
| 1994 | Program Verification Techniques as a Tool for Reasoning about Action and Change. | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1994 | A Note on Tableaux of Logic of Paradox. | Zuoquan Lin, Wei Li |
| 1994 | Communicating Rational Agents. | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1994 | A Kripke-Kleene Logic over General Logic Programs. | Vladimir Kuznetsov |
| 1994 | Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. | Michael Kohlhase |