KIFS 1987: Günne, Germany

Thomas Christaller (Ed.): Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, 28. März - 5. April 1987, Proceedings. Informatik-Fachberichte 202 Springer 1989, ISBN 3-540-50884-8 BibTeX

@proceedings{DBLP:conf/ki/1987kifs1,
  editor    = {Thomas Christaller},
  title     = {K{\"u}nstliche Intelligenz, 5. Fr{\"u}hjahrsschule, KIFS-87,
               G{\"u}nne, 28. M{\"a}rz - 5. April 1987, Proceedings},
  booktitle = {KIFS},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {202},
  year      = {1989},
  isbn      = {3-540-50884-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Logisches Programmieren

Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven: Methodik des Programmierens in Prolog. 1-28 BibTeX
Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven: Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung. 29-41 BibTeX
Udo Pletat: Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. 42-64 BibTeX
Christoph Walther: Many-Sorted Resolution. 65-102 BibTeX

Wissensrepräsentation

Cosima Schmauch: Wissensrepräsentation. Grundkurs. 103-156 BibTeX
Kai von Luck, Bernd Owsnicki-Klewe: Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie. 157-187 BibTeX
Gerhard Brewka: Nichtmonotone Logiken. Ein einführender Überblick. 188-217 BibTeX
Angi Voß, Hans Voß: Formalizing Local Constraint Propagation Methods. 218-260 BibTeX

Wissensakquisition

Frank H. Schmitt: Knowledge Engineering mit einer Expertensystem-Shell. 261-294 BibTeX
Joachim Diederich: Techniken des Wissenserwerbs. 295-335 BibTeX

Intelligente Tutorsysteme und Belief-Systeme

Claus Möbus, Heinz-Jürgen Thole: Tutors, Instructions and Helps. 336-385 BibTeX
Yorick Wilks, Afzal Ballim: Belief Systems: Ascribing Belief. 386-403 BibTeX