| 1985 | MED2: How Domain Characteristics Induce Expert System Features. | Frank Puppe, Bernhard Puppe |
| 1985 | Situationssemantic und Diskursreprsentationstheorie: Einordnung und Anwendungsaspekte. | Manfred Pinkal |
| 1985 | Theory Unification in Abstract Clause Graphs. | Hans Jrgen Ohlbach |
| 1985 | 'No-Match' Punkte: Informationsquelle fr die Detektion von Bewegung. | Michael Mohnhaupt |
| 1985 | Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation Theory. | Alice ter Meulen |
| 1985 | What is Common Sense and How to Formalize it? (Condensed Slides). | John McCarthy |
| 1985 | BACK to Consistency and Incompleteness. | Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel |
| 1985 | Assumptionbased Truth Maintenance (Abstract). | Johan de Kleer |
| 1985 | Planungssysteme in der Robotik. | Klaus A. Hrmann |
| 1985 | Extended Unification and its Implementation. | Steffen Hlldobler, Ulrich Furbach, Thomas Lauermair |
| 1985 | Grundzge der Situationssemantik. | Michael Herweg |
| 1985 | Formal Description of Objects, Processes, and Levels of Expert Reasoning. | Peter Heinen, Heinrich Reusch, Michael M. Richter, Thomas Wetter |
| 1985 | Expert Systems in Statistics: Some Problems and Some New Views. | Reinhold Haux |
| 1985 | Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. | Richard Gbel |
| 1985 | Wissensbasierte Interpretation relationaler Bildbeschreibungen. | Michael Gerlach |
| 1985 | Constructive Theory Formation in Knowledge Based Systems. | Ioan Georgescu |
| 1985 | Logic Programming Development (Abstract). | Herv Gallaire |
| 1985 | SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen Constraints. | Mario Fendler, Rainer Wichlacz |
| 1985 | Parallelverarbeitung in Netzwerk-basierten Systemen. | Joachim Diederich |
| 1985 | Representing and Processing Copula and Full-Verb Sentences in HAM-ANS. | Stephan Busemann, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik |
| 1985 | ber normale Vgel, anwendbare Regeln und einen Default-Beweiser. | Gerhard Brewka |
| 1985 | Ein Beweisverfahren fr Datenbankprdikate. | Stefan Bttcher |
| 1985 | On the Unification Hierarchy. | Ronald V. Book, Jrg H. Siekmann |
| 1985 | Equality Reasoning with Equality-paths. | Karl-Hans Blsius |
| 1985 | Wissensaqisition fr das Natrlichsprachliche Zugangssystem HAM-ANS. | Henning Bergmann, Annedore Paeseler |