| 1996 | Narratives with Concurrent Action: The Mutual Exclusion Problem (Extended Abstract). | Anna Radzikowska |
| 1996 | Qualitative Reasoning under Uncertainty with Symbolic Probabilities. | Daniel Pacholczyk, Gilles Hunault |
| 1996 | A Uniform Proof Procedure for Classical and Non-Classical Logics. | Jens Otten, Christoph Kreitz |
| 1996 | Knowledge Organization Using the Development System FAENSY. | Wolfgang Oertel |
| 1996 | Knowledge Based Image Understanding by Iterative Optimization. | Heinrich Niemann, Volker Fischer, Dietrich Paulus, Julia Fischer |
| 1996 | Probabilistic Knowledge Representation and Reasoning at Maximum Entropy by SPIRIT. | Carl-Heinz Meyer, Wilhelm Rdder |
| 1996 | When to Prove Theorems by Analogy? | Erica Melis |
| 1996 | EULE2: A Prototypical Knowledge-Based Decision Support System for the Performance of Office Tasks. | Andreas Margelisch, Bernd Novotny, Ulrich Reimer |
| 1996 | Putting Default Logics in Perspective. | Thomas Linke, Torsten Schaub |
| 1996 | Case Retrieval Nets: Basic Ideas and Extensions. | Mario Lenz, Hans-Dieter Burkhard |
| 1996 | Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. | Harald Lange, Ralf Mller, Bernd Neumann |
| 1996 | Belief Revision in a Nonclassical Logic. | Gerhard Lakemeyer, Wilfried Lang |
| 1996 | Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. | Andreas Kchler, Christoph Goller |
| 1996 | Managing Multiple Contexts Efficiently. | Gerhard K. Kraetzschmar, Josef Schneeberger |
| 1996 | Application of a Genetic Algorithm for Plausible Justification of Observations. | Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz |
| 1996 | Integration of Prosodic and Grammatical Information in the Analysis of Dialogs. | Walter Kasper, Hans-Ulrich Krieger |
| 1996 | FALLDATEN: Case-Based Reasoning for the Diagnosis of Technical Devices. | Gerd Kamp, Petra Pirk, Hans-Dieter Burkhard |
| 1996 | Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. | Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1996 | Using Rippling for Equational Reasoning. | Dieter Hutter |
| 1996 | Solving Hard Combinatorial Problems with GSAT - A Case Study. | Holger H. Hoos |
| 1996 | Improving the Functionality of a Text-to-Speech System by Adding Morphological Knowledge. | Diane Hirschfeld, Heinz Dieter Maas |
| 1996 | Representations as Basis of Cognitive Processes. | Christopher Habel |
| 1996 | Towards a Totally Distributed Meeting Scheduling System. | Leonardo Garrido-Luna, Katia P. Sycara |
| 1996 | Optimized Nearest-Neighbor Classifiers Using Generated Instances. | Matthias Fuchs, Andreas Abecker |
| 1996 | Cyclic Rules in Linear Connection Proofs. | Bertram Fronhfer |