Abstract is missing.
- Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten?Ansgar Beckermann. 2-25
- Parallelverarbeitung in Netzwerk-basierten SystemenJoachim Diederich. 26-34
- SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen ConstraintsMario Fendler, Rainer Wichlacz. 36-45
- Two Parallel Versions of the Connection Method for Propositional Logic on the L-MachineK. Aspetsberger, Stefan Bayerl. 46-55
- Equality Reasoning with Equality-pathsKarl-Hans Bläsius. 57-76
- Theory Unification in Abstract Clause GraphsHans Jürgen Ohlbach. 77-100
- Completion of Globally Finite Term Rewriting Systems for Inductive ProofsRichard Göbel. 101-110
- On the Unification HierarchyRonald V. Book, Jörg H. Siekmann. 111-117
- Unification in a Many-sorted Calculus with DeclarationsManfred Schmidt-Schauß. 118-132
- Logic Programming Development (Abstract)Hervé Gallaire. 134
- Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract)Werner Alexi. 135-152
- Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-UntersuchungenAstrid Schmücker-Schend. 153-163
- Ein Beweisverfahren für DatenbankprädikateStefan Böttcher. 164-175
- Extended Unification and its ImplementationSteffen Hölldobler, Ulrich Furbach, Thomas Laußermair. 176-185
- Representing and Processing Copula and Full-Verb Sentences in HAM-ANSStephan Busemann, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik. 187-196
- Script-Based Generation and Evaluation of Expectations in Traffic ScenesGudula Retz-Schmidt. 197-203
- Halbautomatische Erweiterung eines ThesaurusRüdiger Wirth. 204-211
- What is Common Sense and How to Formalize it? (Condensed Slides)John McCarthy. 213-217
- Über normale Vögel, anwendbare Regeln und einen Default-BeweiserGerhard Brewka. 218-229
- Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen IntelligenzPeter Schefe. 230-244
- BACK to Consistency and IncompletenessKai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel. 245-256
- Assumptionbased Truth Maintenance (Abstract)Johan de Kleer. 258
- Representing and Analyzing Time and Causality in HIQUAL ModelsHans Voß. 259-271
- MED2: How Domain Characteristics Induce Expert System FeaturesFrank Puppe, Bernhard Puppe. 272-284
- Formal Description of Objects, Processes, and Levels of Expert ReasoningPeter Heinen, Heinrich Reusch, Michael M. Richter, Thomas Wetter. 285-294
- Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANSHenning Bergmann, Annedore Paeseler. 295-299
- Constructive Theory Formation in Knowledge Based SystemsIoan Georgescu. 300-312
- Expert Systems in Statistics: Some Problems and Some New ViewsReinhold Haux. 313-322
- Wissensbasierte Interpretation relationaler BildbeschreibungenMichael Gerlach. 324-335
- No-Match Punkte: Informationsquelle für die Detektion von BewegungMichael Mohnhaupt. 336-347
- Hierarchische Decomposition und Synthese von ObjektenChristian Sielaff. 348-355
- Planungssysteme in der RobotikKlaus A. Hörmann. 357-372
- Representation and Manipulation of Process Plans in Generic Expert Planning SystemsJean Patrick Tsang. 373-394
- Situationssemantic und Diskursrepräsentationstheorie: Einordnung und AnwendungsaspekteManfred Pinkal. 397-407
- Prinzipien der DiskursrepräsentationstheorieUwe Reyle. 408-446
- Grundzüge der SituationssemantikMichael Herweg. 447-451
- Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation TheoryAlice ter Meulen. 452-471