9. GWAI 1985: Dassel/Solling

Philosophische Fragen der Künstlichen Intelligenz, Cognitive Science

KI-Programmiersprachen und -Maschinen

Automatische Beweisverfahren

Logik-orientiertes Programmieren und Programmsynthese

Verarbeitung natürlicher Sprache

Wissensrepräsentation

Expertensysteme

Bildverstehen

Anwendungen in Robotik und Fertigungsplanung

Materialien des Tutorials "Situationssemantik und Diskursionsrepräsentationstheorie"