Backtracking

<=> Tiefensuche

<== Constraint Satisfaction

<== Constraint Propagation

<== Generieren und Testen

<=> Suche

<== Architektur von KI-Systemen

<== Inferenzverfahren

<== Reanalyse und Reparatur bei der Sprachverarbeitung

<== Parsing natürlicher Sprache

<== PARSIFAL

<== Übergangsnetzwerk, erweitertes