ask others

5. GWAI 1981: Baf Honnef

> Home > Conferences and Workshops > GWAI

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/1981
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/1981
Jörg H. Siekmann:
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings. Informatik-Fachberichte 47, Springer 1981, ISBN 3-540-10859-9

Computersehen und Roboterforschung

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Radig81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Radig81
W. Radig:
Models and Structures in Image Processing. GWAI 1981: 1-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/DreschlerN81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/DreschlerN81
Leonie Dreschler, Hans-Hellmut Nagel:
On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects. GWAI 1981: 18-29
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Foith81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Foith81
Jörgen P. Foith:
Robotics Research: From Toy Worlds to Industrial Applications. GWAI 1981: 30-49

Natürlichsprachliche KI-Systeme

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Wahlster81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Wahlster81
Wolfgang Wahlster:
Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive. GWAI 1981: 50-68
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/SchefeP81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/SchefeP81
Peter Schefe, Bernd Pretschner:
SWISS - A Natural Language Question Answering System for Scene Analysis. GWAI 1981: 69-78
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/MarburgerNN81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/MarburgerNN81
Heinz Marburger, Bernd Neumann, Hans-Joachim Novak:
Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene. GWAI 1981: 79-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/HabelR81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/HabelR81
Christopher Habel, Claus-Rainer Rollinger:
Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata. GWAI 1981: 88-97

Expertensysteme/Verarbeitung natürlicher Sprache

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Raulefs81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Raulefs81
Peter Raulefs:
Expert Systems: State of the Art and Future Prospects. GWAI 1981: 98-111
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/BartelsOR81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/BartelsOR81
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs:
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. GWAI 1981: 112-123
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Dilger81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Dilger81
Werner Dilger:
Context Directed Translation. GWAI 1981: 124-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Gorz81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Gorz81
Günther Görz:
GLP: A Linguistic Processor. GWAI 1981: 135

KI-Sprachen und deren Anwendungen

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Boley81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Boley81
Harold Boley:
AI Languages and AI Machines: An Overview. GWAI 1981: 136-155
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/RaulefsS81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/RaulefsS81
Peter Raulefs, Hans Siebenbach:
A Concurrent Chart Parser. GWAI 1981: 156-159
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/HornungKK81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/HornungKK81
Günter Hornung, Anfried Knapp, Ulrike Knapp:
A Parallel Connection Graph Proof Procedure. GWAI 1981: 160-167
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/BoeckerF81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/BoeckerF81
Heinz-Dieter Böcker, Gerhard Fischer:
Integrated Knowledge-Based Information Manipulation Systems. GWAI 1981: 168-170

Automatisches Beweisen und Connectiongraphverfahren

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Bibel81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Bibel81
Wolfgang Bibel:
Mating in Matrices. GWAI 1981: 171-187
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Eisinger81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Eisinger81
Norbert Eisinger:
Subsumption and Connectionsgraphs. GWAI 1981: 188-198
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/SiekmannS81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/SiekmannS81
Jörg H. Siekmann, Gert Smolka:
Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. GWAI 1981: 199-200
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Walther81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Walther81
Christoph Walther:
Elimination of Redundant Links in Extended Connection Graphs. GWAI 1981: 201-213

Termersetzungssysteme und automatisches Beweisen

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Loos81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Loos81
Rüdiger Loos:
Term Reduction Systems and Algebraic Algorithms. GWAI 1981: 214-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/SiekmannS81a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/SiekmannS81a
Jörg H. Siekmann, Peter Szabó:
A Noetherian Rewrite System for Idempotent Semigroups. GWAI 1981: 235-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Bibel81a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Bibel81a
Wolfgang Bibel:
On the Completeness of Connection Graph Resolution. GWAI 1981: 246-247
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Hornig81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Hornig81
K. M. Hörnig:
Generating small Models of First Order Axioms. GWAI 1981: 248-255

Programmverifikation/Sprache/Spiele

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Polak81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Polak81
Wolfgang Polak:
Programmverification at Stanford: Past, Present Future. GWAI 1981: 256-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Hein81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Hein81
Hans-Werner Hein:
A System for Understanding Continuous German Speech. GWAI 1981: 277-286
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Morik81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Morik81
Katharina Morik:
Verarbeitung von externer und interner Situation in Überzeugungssystemen. GWAI 1981: 287-296
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/LuckO81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/LuckO81
Kai von Luck, Bernd Owsnicki-Klewe:
Structures for Knowledge-Based Chess Programs. GWAI 1981: 297-306
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Muller81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Muller81
Sven Müller:
Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen. GWAI 1981: 307-317

maintained by

at