Abgeschlossenheitsannahme

==> Semantik, modelltheoretische

==> Semantik, formale

<== Wissen und Wissensrepräsentation

==> Wissensrepräsentation

<== Alltagsschließen

==> vollständig, Vollständigkeit

<== Programmiersprachen

<=> Logikprogrammierung

<=> Negation as failure

<== Prolog

==> korrekt, Korrektheit

==> Negation

<== Inferenzverfahren

<== Planen

==> Wissensbasis