7. GWAI 1983: Dassel/Solling

Expertensysteme

KI-Programmiersprachen

Bild- und Sprachverstehen

Natüichsprachliche Systeme

Logik

Wissensräpresentation

Problemlösen und automatisches Beweisen

maintained by Schloss Dagstuhl LZI at University of Trier