Buch, Deutsch, Band 202, 403 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 715 g
Reihe: Informatik-Fachberichte
5. Frühjahrsschule, KIFS-87, Günne, 28. März ¿ 5. April 1987 Proceedings
Buch, Deutsch, Band 202, 403 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 715 g
Reihe: Informatik-Fachberichte
ISBN: 978-3-540-50884-7
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
I Logisches Programmieren.- Methodik des Programmierens in Prolog.- Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung.- Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs.- Many-Sorted Resolution.- II Wissensrepräsentation.- Wissensrepräsentation. Grundkurs.- Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie.- Nichtmonotone Logiken. Ein einführender Überblick.- Formalizing Local Constraint Propagation Methods.- III Wissensakquisition.- Knowledge Engineering mit einer Expertensystem-Shell.- Techniken des Wissenserwerbs.- IV Intelligente Tutorsysteme und Belief-Systeme.- Tutors, Instructions and Helps.- Belief Systems: Ascribing Belief.