- ==> Metasprache
- <=> Schliessen
- ==> Deduktion
- <=> Induktion
- ==> Schliessen, analog(isch)es
- ==> Schliessen, fallbasiertes
- ==> vollständig, Vollständigkeit
- <== Vererbung
- ==> Programmiersprachen
- ==> Logikprogrammierung
- ==> Prolog
- <=> Künstliche Intelligenz, KI
- ==> Beweisen, automatisches
- ==> Sortenlogik
- ==> Kalkül
- ==> Aussagenlogik
- ==> Modus ponens
- ==> Instantiierung
- ==> korrekt, Korrektheit
- ==> Logik
- <=> Abduktion
- ==> Logik, mehrwertige
- ==> Russells Paradox
- ==> Modallogik
- ==> Logik, temporale
- <== Negation
- ==> Prädikatenlogik
- ==> Allquantor
- ==> Wahrheitswert
- ==> PSSH
- ==> Theorem
- <== Architektur von KI-Systemen
- ==> Planen
- <== Bildverstehen
- <== Expertensystem
- ==> Lernen
- <== Kognition
- <=> Wissen und Wissensrepräsentation
- ==> Analogie
- <== deklarativ
- <== hybrid
- ==> Unifikation
- ==> Denken
- ==> Alltagsschließen
- ==> Suche
- <== Constraint Propagation
- ==> Backtracking
- ==> Fuzzy-Logik
- ==> Computerlinguistik
- ==> Syntax
- ==> Implikation
- ==> Abgeschlossenheitsannahme
- ==> Mögliche-Welten-Semantik
- ==> Semantik
- ==> Kompositionalität
- ==> Ontologie