| 1996 | A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application. | Michael Ebersberger, Johannes Mller, Holger Stahl |
| 1996 | A Revision of Dependency-Directed Backtracking for JTMS. | Truong Quoc Dung |
| 1996 | Planning for Distributed Theorem Proving: The Teamwork Approach. | Jrg Denzinger, Martin Kronenburg |
| 1996 | Equational Theorem Proving Using Taxonomic Constraints. | Jrg Denzinger |
| 1996 | Abstraction as a Heuristic to Guide Planning. | Michael Contzen, Knut Mller |
| 1996 | Massively Parallel Reasoning about Actions. | Sven-Erik Bornscheuer, Torsten Seiler |
| 1996 | Rational Models of Normal Logic Programs. | Sven-Erik Bornscheuer |
| 1996 | DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover. | Chandrabose Aravindan |
| 1995 | Default Entailment: A Preferential Construction Semantics for Defeasible Inference. | Emil Weydert |
| 1995 | What Is a Skeptical Proof? | Michael Thielscher |
| 1995 | An Extension of Explanation-Based Generalization to Negation as Failure. | Stefan Schrdl |
| 1995 | Quality-Based Terminological Reasoning for Concept Learning. | Klemens Schnattinger, Udo Hahn, Manfred Klenner |
| 1995 | Reasoning about Action with Typical and Atypical Effects. | Anna Radzikowska |
| 1995 | Computational Properties of Qualitative Spatial Reasoning: First Results. | Bernhard Nebel |
| 1995 | Robust Processing of Natural Language. | Wolfgang Menzel |
| 1995 | Reasoning about Action and Change: Actions with Abnormal Effects. | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1995 | Actions That Make You Change Your Mind (Extended Abstract). | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1995 | Partially Observable Markov Decision Processes for Artificial Intelligence. | Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra |
| 1995 | Dynamic Structuring of Lexical Knowledge in a Reusability Scenario. | Wilfried Htker |
| 1995 | Integrating Vision and Language: Towards Automatic Description of Human Movements. | Gerd Herzog, Karl Rohr |
| 1995 | Automated Termination Proofs with Measure Functions. | Jrgen Giesl |
| 1995 | An Empirically Validated Model for Computing Spatial Relations. | Klaus-Peter Gapp |
| 1995 | Inducing Integrity Constraints from Knowledge Bases. | Roman Englert |
| 1995 | Efficient Memory-Limited Graph Search. | Jrgen Eckerle, Sven Schuierer |
| 1995 | Task Acquisition with a Description Logic Reasoner. | Martin Buchheit, Hans-Jrgen Brckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wjcik |