Login / Signup
KIFS
1982
1984
1987
1989
1982
1989
Keyphrases
Publications
1989
Manfred Pinkal
Neuere Semantikmodelle für die Verarbeitung natürlicher Sprache.
KIFS
(1989)
Frank Puppe
Wissensrepräsentationen und Problemlösungstrategien in Expertensystemen.
KIFS
(1989)
Manfred Wettler
Eine psychologische Kritik des Intuitionismus in der Kognitionsforschung.
KIFS
(1989)
Siegfried Kanngießer
Korrespondenzen zwischen KI und Linguistik.
KIFS
(1989)
Christopher Habel
KI: Woher kommt sie, wo steht sie, wohin geht sie?
KIFS
(1989)
Thomas Christaller
,
Rainer Mantz
,
Manfred Scheer
Einführung in LISP.
KIFS
(1989)
Günther Palm
Informationsverarbeitung in neuronalen Netzen.
KIFS
(1989)
Herbert Stoyan
KI-Programmierung.
KIFS
(1989)
Godehard Link
Semantik und sprachliche Information.
KIFS
(1989)
Peter Struss
Qualitative Reasoning.
KIFS
(1989)
Günther Görz
Werarbeitung natürlicher Sprache.
KIFS
(1989)
Paul Levi
Verteilte Aktionsplanung für autonome mobile Agenten.
KIFS
(1989)
Egbert Lehmann
Wissensrepräsentation.
KIFS
(1989)
Hans-Jürgen Eikmeyer
Prolog.
KIFS
(1989)
volume 203, 1989
Künstliche Intelligenz, 7. Frühjahrsschule, KIFS-89, Günne, 11.-19. März 1989, Proceedings
KIFS
203 (1989)
volume 202, 1989
Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, Deutschland, 28. März - 5. April 1987, Proceedings
KIFS
202 (1989)
volume 159, 1988
Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, Deutschland, 8.-16. März 1985 und 8.-16. März 1986
KIFS
159 (1988)
1987
Reinhard Budde
,
Karin Kuhlenkamp
,
Karl-Heinz Sylla
,
Heinz Züllighoven
Methodik des Programmierens in Prolog.
KIFS
(1987)
Reinhard Budde
,
Karin Kuhlenkamp
,
Karl-Heinz Sylla
,
Heinz Züllighoven
Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung.
KIFS
(1987)
Udo Pletat
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs.
KIFS
(1987)
Frank H. Schmitt
Knowledge Engineering mit einer Expertensystem-Shell.
KIFS
(1987)
Gerhard Brewka
Nichtmonotone Logiken. Ein einführender Überblick.
KIFS
(1987)
Yorick Wilks
,
Afzal Ballim
Belief Systems: Ascribing Belief.
KIFS
(1987)
Joachim Diederich
Techniken des Wissenserwerbs.
KIFS
(1987)
Claus Möbus
,
Heinz-Jürgen Thole
Tutors, Instructions and Helps.
KIFS
(1987)
Cosima Schmauch
Wissensrepräsentation. Grundkurs.
KIFS
(1987)
Kai von Luck
,
Bernd Owsnicki-Klewe
Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie.
KIFS
(1987)
Christoph Walther
Many-Sorted Resolution.
KIFS
(1987)
Angi Voß
,
Hans Voß
Formalizing Local Constraint Propagation Methods.
KIFS
(1987)
1986
Christoph Walther
Automatisches Beweisen.
KIFS
(1986)
Franz Schmalhofer
,
Thomas Wetter
Kognitive Modellierung: Menschliche Wissensrepräsentation und Verarbeitungsstrategien.
KIFS
(1986)
Thomas Christaller
Einführung in LISP.
KIFS
(1986)
Paul Levi
,
Jürgen Foldenauer
,
Th. Löffler
Robotik und Künstliche Intelligenz.
KIFS
(1986)
Frank Puppe
,
Hans Voß
Qualitative Modelle in wissensbasierten Systemen.
KIFS
(1986)
Volker Penner
Programmverifikation.
KIFS
(1986)
Helmar Gust
,
Michael König
PROLOG: PROgrammieren mit LOGik - Eine Einführung.
KIFS
(1986)
volume 93, 1985
Küstliche Intelligenz, Repräsentation von Wissen und natürlichsprachliche Systeme, Frühjahrsschule, Dassel (Solling), 5.-16. März 1984
KIFS
93 (1985)
1984
Thomas Christaller
Parser als integraler Bestandteil von Sprachverarbeitungssystemen.
KIFS
(1984)
Christopher Habel
,
Claus-Rainer Rollinger
Lernen und Wissensakquisitation.
KIFS
(1984)
Uta M. Quasthoff
Textverstehen und Textproduktion.
KIFS
(1984)
Joachim H. Laubsch
Techniken der Wissensdarstellung.
KIFS
(1984)
Wolfgang Bibel
Inferenzmethoden.
KIFS
(1984)
Camilla Schwind
Semantikkonzepte in der Künstlichen Intelligenz.
KIFS
(1984)
1982
Jörgen P. Foith
Robotertechnologie.
KIFS
(1982)
Wolfgang Wahlster
Natürlichsprachliche Systeme - Eine Einführung in die sprachorientierte KI-Forschung.
KIFS
(1982)
Wolfgang Bibel
Deduktionsverfahren.
KIFS
(1982)
Jörg H. Siekmann
Einführung in die Künstliche Intelligenz.
KIFS
(1982)
Peter Raulefs
Expertensysteme.
KIFS
(1982)
Bruno Buchberger
Computer-unterstützter Algorithmenentwurf.
KIFS
(1982)
volume 59, 1982
Künstliche Intelligenz, Frühjahrsschule, Teisendorf, Deutschland, 15.-24. März 1982
KIFS
59 (1982)