Künstliche Intelligenz – serie

Die Wissensrepräsentationssprache OPS5

Sprachbeschreibung und Einführung in die regelorientierte Programmierung

LISP

Fallbeispiele mit Anwendungen in der Künstlichen Intelligenz

Logische Grundlagen der Künstlichen Intelligenz

Wissensbasierte Echtzeitplanung

Modulare Regelprogrammierung

Automatisierung von Terminierungsbeweisen

Relative Complexities of First Order Calculi

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Vergleich von Formalismen anhand eines Beispiels

Logische und Funktionale Programmierung

Grundlagen einer Kombination

Parallelism in Logic

Its Potential for Performance and Program Development

Neuronale Netze und Fuzzy-Systeme

Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden

Objektorientierte und wissensbasierte Bildverarbeitung

Prolog

Eine methodische Einführung

Automated Theorem Proving