Truth-maintenance System

==> Problemlösen

<== Wissen und Wissensrepräsentation

<== Schliessen mit Standardannahmen

==> Constraint Propagation

==> Constraint

==> Theorembeweiser

<=> Begründungsverwaltung