9. GWAI 1985: Dassel/Solling

@proceedings{DBLP:conf/ki/1985,
  editor    = {Herbert Stoyan},
  title     = {GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling,
               September 23-27, 1985, Proceedings},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {118},
  year      = {1986},
  isbn      = {3-540-16451-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Philosophische Fragen der Künstlichen Intelligenz, Cognitive Science

• Ansgar Beckermann: Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten? 2-25 BibTeX
• Joachim Diederich: Parallelverarbeitung in Netzwerk-basierten Systemen. 26-34 BibTeX

KI-Programmiersprachen und -Maschinen

• Mario Fendler, Rainer Wichlacz: SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen Constraints. 36-45 BibTeX
• K. Aspetsberger, Stefan Bayerl: Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. 46-55 BibTeX

Automatische Beweisverfahren

• Karl-Hans Bläsius: Equality Reasoning with Equality-paths. 57-76 BibTeX
• Hans Jürgen Ohlbach: Theory Unification in Abstract Clause Graphs. 77-100 BibTeX
• Richard Göbel: Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. 101-110 BibTeX
• Ronald V. Book, Jörg H. Siekmann: On the Unification Hierarchy. 111-117 BibTeX
• Manfred Schmidt-Schauß: Unification in a Many-sorted Calculus with Declarations. 118-132 BibTeX

Logik-orientiertes Programmieren und Programmsynthese

• Hervé Gallaire: Logic Programming Development (Abstract). 134 BibTeX
• Werner Alexi: Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract). 135-152 BibTeX
• Astrid Schmücker-Schend: Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. 153-163 BibTeX
• Stefan Böttcher: Ein Beweisverfahren für Datenbankprädikate. 164-175 BibTeX
• Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair: Extended Unification and its Implementation. 176-185 BibTeX

Verarbeitung natürlicher Sprache

• Stephan Busemann, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik: Representing and Processing Copula and Full-Verb Sentences in HAM-ANS. 187-196 BibTeX
• Gudula Retz-Schmidt: Script-Based Generation and Evaluation of Expectations in Traffic Scenes. 197-203 BibTeX
• Rüdiger Wirth: Halbautomatische Erweiterung eines Thesaurus. 204-211 BibTeX

Wissensrepräsentation

• John McCarthy: What is Common Sense and How to Formalize it? (Condensed Slides). 213-217 BibTeX
• Gerhard Brewka: Über normale Vögel, anwendbare Regeln und einen Default-Beweiser. 218-229 BibTeX
• Peter Schefe: Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz. 230-244 BibTeX
• Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel: BACK to Consistency and Incompleteness. 245-256 BibTeX

Expertensysteme

• Johan de Kleer: Assumptionbased Truth Maintenance (Abstract). 258 BibTeX
• Hans Voß: Representing and Analyzing Time and Causality in HIQUAL Models. 259-271 BibTeX
• Frank Puppe, Bernhard Puppe: MED2: How Domain Characteristics Induce Expert System Features. 272-284 BibTeX
• Peter Heinen, Heinrich Reusch, Michael M. Richter, Thomas Wetter: Formal Description of Objects, Processes, and Levels of Expert Reasoning. 285-294 BibTeX
• Henning Bergmann, Annedore Paeseler: Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANS. 295-299 BibTeX
• Ioan Georgescu: Constructive Theory Formation in Knowledge Based Systems. 300-312 BibTeX
• Reinhold Haux: Expert Systems in Statistics: Some Problems and Some New Views. 313-322 BibTeX

Bildverstehen

• Michael Gerlach: Wissensbasierte Interpretation relationaler Bildbeschreibungen. 324-335 BibTeX
• Michael Mohnhaupt: `No-Match' Punkte: Informationsquelle für die Detektion von Bewegung. 336-347 BibTeX
• Christian Sielaff: Hierarchische Decomposition und Synthese von Objekten. 348-355 BibTeX

Anwendungen in Robotik und Fertigungsplanung

• Klaus A. Hörmann: Planungssysteme in der Robotik. 357-372 BibTeX
• Jean Patrick Tsang: Representation and Manipulation of Process Plans in Generic Expert Planning Systems. 373-394 BibTeX

Materialien des Tutorials "Situationssemantik und Diskursionsrepräsentationstheorie"

• Manfred Pinkal: Situationssemantic und Diskursrepräsentationstheorie: Einordnung und Anwendungsaspekte. 397-407 BibTeX
• Uwe Reyle: Prinzipien der Diskursrepräsentationstheorie. 408-446 BibTeX
• Michael Herweg: Grundzüge der Situationssemantik. 447-451 BibTeX
• Alice ter Meulen: Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation Theory. 452-471 BibTeX