5. GWAI 1981: Baf Honnef

Computersehen und Roboterforschung

Natürlichsprachliche KI-Systeme

Expertensysteme/Verarbeitung natürlicher Sprache

KI-Sprachen und deren Anwendungen

Automatisches Beweisen und Connectiongraphverfahren

Termersetzungssysteme und automatisches Beweisen

Programmverifikation/Sprache/Spiele