6. GWAI 1982: Baf Honnef

@proceedings{DBLP:conf/ki/1982,
  editor    = {Wolfgang Wahlster},
  title     = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad
               Honnef, September 27 - October 1, 1982, Proceedings},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {58},
  year      = {1982},
  isbn      = {3-540-11960-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Beschreiben und Verstehen von Bildfolgen

• Bernd Neumann: Knowledge Sources for Understanding and Describing Image Sequences. 1-21 BibTeX
• Hans-Joachim Novak: On the Selection of Verbs for Natural Language Description of Traffic Scenes. 22-31 BibTeX
• Bernd Radig: Symbolic Description and Matching of Image Sequences. 32-41 BibTeX

Akquisition und Repräsentation von Wissen

• Peter Schefe: Some Fundamental Issues in Knowledge Representation. 42-62 BibTeX
• Thomas Christaller: Konsistenzüberprüfung bei sich verändernden Wissensbasen. 63-71 BibTeX
• Werner Emde, Christopher Habel, Claus-Rainer Rollinger: Automatische Akquisition von inferentiellem Wissen. 72-81 BibTeX
• Christopher Habel: Zur Repräsentation indefinit deskribierter Objekte in KI-Systemen. 82-91 BibTeX
• Kai von Luck, Bernd Owsnicki-Klewe: N.N.: A View of Planning in Chess. 92-101 BibTeX

Unifikation und Deduktion

• Jörg H. Siekmann, Peter Szabó: Universal Unification. 102-141 BibTeX
• W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann: Der META-Beweiser für die Zahlentheorie. 142-153 BibTeX
• Michel Bidoit: Proofs by Induction in "Fairly" Specified Equational Theories. 154-166 BibTeX
• Mordechai Halpern: Inductive Inference in Finite Algebraic Structures. 167-176 BibTeX
• Alexander Herold: Universal Unification and a Class of Equational Theories. 177-190 BibTeX
• Gert Smolka: Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets. 191-204 BibTeX

Natürlichsprachliche Systeme

• Manfred Gehrke: Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs. 205-214 BibTeX
• Wolfgang Hoeppner: ATN-Steuerung durch Kasusrahmen. 215-226 BibTeX
• Michael Hußmann: Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS. 227-236 BibTeX
• Camilla Schwind: Natural Language Access to PROLOG Database Systems. 237-246 BibTeX