5. GWAI 1981: Baf Honnef

Jörg H. Siekmann (Ed.): GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Informatik-Fachberichte 47 Springer 1981, ISBN 3-540-10859-9 BibTeX

@proceedings{DBLP:conf/ki/1981,
  editor    = {J{\"o}rg H. Siekmann},
  title     = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef,
               January 26-31, 1981, Proceedings},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {47},
  year      = {1981},
  isbn      = {3-540-10859-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Computersehen und Roboterforschung

W. Radig: Models and Structures in Image Processing. 1-17 BibTeX
Leonie Dreschler, Hans-Hellmut Nagel: On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects. 18-29 BibTeX
Jörgen P. Foith: Robotics Research: From Toy Worlds to Industrial Applications. 30-49 BibTeX

Natürlichsprachliche KI-Systeme

Wolfgang Wahlster: Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive. 50-68 BibTeX
Peter Schefe, Bernd Pretschner: SWISS - A Natural Language Question Answering System for Scene Analysis. 69-78 BibTeX
Heinz Marburger, Bernd Neumann, Hans-Joachim Novak: Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene. 79-87 BibTeX
Christopher Habel, Claus-Rainer Rollinger: Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata. 88-97 BibTeX

Expertensysteme/Verarbeitung natürlicher Sprache

Peter Raulefs: Expert Systems: State of the Art and Future Prospects. 98-111 BibTeX
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs: An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. 112-123 BibTeX
Werner Dilger: Context Directed Translation. 124-134 BibTeX
Günther Görz: GLP: A Linguistic Processor. 135 BibTeX

KI-Sprachen und deren Anwendungen

Harold Boley: AI Languages and AI Machines: An Overview. 136-155 BibTeX
Peter Raulefs, Hans Siebenbach: A Concurrent Chart Parser. 156-159 BibTeX
Günter Hornung, Anfried Knapp, Ulrike Knapp: A Parallel Connection Graph Proof Procedure. 160-167 BibTeX
Heinz-Dieter Böcker, Gerhard Fischer: Integrated Knowledge-Based Information Manipulation Systems. 168-170 BibTeX

Automatisches Beweisen und Connectiongraphverfahren

Wolfgang Bibel: Mating in Matrices. 171-187 BibTeX
Norbert Eisinger: Subsumption and Connectionsgraphs. 188-198 BibTeX
Jörg H. Siekmann, Gert Smolka: Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. 199-200 BibTeX
Christoph Walther: Elimination of Redundant Links in Extended Connection Graphs. 201-213 BibTeX

Termersetzungssysteme und automatisches Beweisen

Rüdiger Loos: Term Reduction Systems and Algebraic Algorithms. 214-234 BibTeX
Jörg H. Siekmann, Peter Szabó: A Noetherian Rewrite System for Idempotent Semigroups. 235-245 BibTeX
Wolfgang Bibel: On the Completeness of Connection Graph Resolution. 246-247 BibTeX
K. M. Hörnig: Generating small Models of First Order Axioms. 248-255 BibTeX

Programmverifikation/Sprache/Spiele

Wolfgang Polak: Programmverification at Stanford: Past, Present Future. 256-276 BibTeX
Hans-Werner Hein: A System for Understanding Continuous German Speech. 277-286 BibTeX
Katharina Morik: Verarbeitung von externer und interner Situation in Überzeugungssystemen. 287-296 BibTeX
Kai von Luck, Bernd Owsnicki-Klewe: Structures for Knowledge-Based Chess Programs. 297-306 BibTeX
Sven Müller: Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen. 307-317 BibTeX