- Helmar Gust, Michael König:
PROLOG: PROgrammieren mit LOGik - Eine Einführung. KIFS 1986: 36-57 - Paul Levi, Jürgen Foldenauer, Th. Löffler:
Robotik und Künstliche Intelligenz. KIFS 1986: 58-133 - Volker Penner:
Programmverifikation. KIFS 1986: 134-182 - Frank Puppe, Hans Voß:
Qualitative Modelle in wissensbasierten Systemen. KIFS 1986: 183-244 - Franz Schmalhofer, Thomas Wetter:
Kognitive Modellierung: Menschliche Wissensrepräsentation und Verarbeitungsstrategien. KIFS 1986: 245-291 - Christoph Walther:
Automatisches Beweisen. KIFS 1986: 292-339 - 1985
- Christopher Habel:
Küstliche Intelligenz, Repräsentation von Wissen und natürlichsprachliche Systeme, Frühjahrsschule, Dassel (Solling), 5.-16. März 1984. Informatik-Fachberichte 93, Springer 1985, ISBN 3-540-15190-7 [contents] - 1984
- Wolfgang Bibel:
Inferenzmethoden. KIFS 1984: 1-47 - Thomas Christaller:
Parser als integraler Bestandteil von Sprachverarbeitungssystemen. KIFS 1984: 159-183 - Christopher Habel, Claus-Rainer Rollinger:
Lernen und Wissensakquisitation. KIFS 1984: 249-320 - Joachim H. Laubsch:
Techniken der Wissensdarstellung. KIFS 1984: 48-93 - Uta M. Quasthoff:
Textverstehen und Textproduktion. KIFS 1984: 184-248 - Camilla Schwind:
Semantikkonzepte in der Künstlichen Intelligenz. KIFS 1984: 94-158 - 1982
- Wolfgang Bibel:
Deduktionsverfahren. KIFS 1982: 99-140 - Bruno Buchberger:
Computer-unterstützter Algorithmenentwurf. KIFS 1982: 141-201 - Jörgen P. Foith:
Robotertechnologie. KIFS 1982: 357-381 - Bernd Neumann:
Bildverstehen. KIFS 1982: 285-355 - Peter Raulefs:
Expertensysteme. KIFS 1982: 61-98 - Jörg H. Siekmann:
Einführung in die Künstliche Intelligenz. KIFS 1982: 1-60 - Wolfgang Wahlster:
Natürlichsprachliche Systeme - Eine Einführung in die sprachorientierte KI-Forschung. KIFS 1982: 203-283 - Wolfgang Bibel, Jörg H. Siekmann:
Künstliche Intelligenz, Frühjahrsschule, Teisendorf, Deutschland, 15.-24. März 1982. Informatik-Fachberichte 59, Springer 1982, ISBN 3-540-11974-4 [contents]
