9. GWAI 1985: Dassel/Solling

Herbert Stoyan (Ed.): GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Informatik-Fachberichte 118 Springer 1986, ISBN 3-540-16451-0

@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
Joachim Diederich: Parallelverarbeitung in Netzwerk-basierten Systemen. 26-34

KI-Programmiersprachen und -Maschinen

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

Automatische Beweisverfahren

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

Logik-orientiertes Programmieren und Programmsynthese

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

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
Gudula Retz-Schmidt: Script-Based Generation and Evaluation of Expectations in Traffic Scenes. 197-203
Rüdiger Wirth: Halbautomatische Erweiterung eines Thesaurus. 204-211

Wissensrepräsentation

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

Expertensysteme

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

Bildverstehen

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

Anwendungen in Robotik und Fertigungsplanung

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

Materialien des Tutorials "Situationssemantik und Diskursionsrepräsentationstheorie"

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