- ==> Kybernetik
- ==> Programmiersprachen
- ==> Datentyp
- ==> Liste
- ==> Interpreter
- ==> LISP
- ==> Programmieren, objektorientiertes
- ==> Klasse
- ==> Message-passing
- ==> Smalltalk
- ==> Prolog
- <== Künstliche Intelligenz, KI
- ==> Beweisen, automatisches
- ==> Theorembeweiser
- ==> Blockwelt
- ==> Aussagenlogik
- ==> Prädikatenlogik
- ==> Horn-Klausel
- ==> Resolution
- ==> Perzeptron
- ==> Planen
- ==> Robotik
- ==> Bildverstehen
- ==> Szenenanalyse
- ==> Expertensystem
- ==> Knowledge Engineering
- ==> Inferenzsystem, mustergesteuertes
- ==> Produktionensystem
- ==> Konnektionismus
- ==> Wissen und Wissensrepräsentation
- ==> Netz, semantisches
- ==> Frame
- ==> Problemlösen
- ==> General Problem Solver (GPS)
- ==> Heuristik
- ==> Ziel
- ==> Suche
- ==> Fuzzy-Menge
- ==> Fuzzy-Logik
- ==> Sprache, natürliche
- ==> SHRDLU
- ==> Frage-Antwort-System
- ==> Übergangsnetzwerk, erweitertes
- ==> Grammatik, formale
- ==> Implikation
- ==> Erkenntnistheorie, Epistemologie
- ==> Netze, neuronale