12. GWAI 1988: Schloss Eringerfeld, Germany

Wolfgang Hoeppner (Ed.): Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings. Informatik-Fachberichte 181 Springer 1988, ISBN 3-540-50293-9 BibTeX

@proceedings{DBLP:conf/ki/1988,
  editor    = {Wolfgang Hoeppner},
  title     = {K{\"u}nstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld,
               19.-23. September 1988, Proceedings},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {181},
  year      = {1988},
  isbn      = {3-540-50293-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Eingeladene Hauptvorträge

Brigitte Bartsch-Spörl: KI in der Praxis - Stand der Kunst und Perspektiven. 1-16 BibTeX
Joachim Funke: Künstliche Intelligenz und Kognitive Psychologie: Zum Stand der Beziehung. 17-26 BibTeX
Paul Levi: Verteilte Aktionsplanung für autonome mobile Agenten. 27-40 BibTeX

Wissensrepräsentation

Rainer Decker: Modeling the Temporal Behaviour of Technical Systems. 41-50 BibTeX
Jochen Heinsohn, Bernd Owsnicki-Klewe: Probabilistic Inheritance and Reasoning in Hybrid Knowledge Representation Systems. 51-60 BibTeX
Joachim Hertzberg, Hans W. Guesgen, Angi Voß, Manfred Fidelak, Hans Voß: Relaxing Constraint Networks to Resolve Inconsistencies. 61-65 BibTeX
Christel Kemke: Darstellung von Aktionen in Vererbungshierarchien. 66-76 BibTeX
Bernd Owsnicki-Klewe: Configuration as a Consistency Maintenance Task. 77-87 BibTeX
Karl Schlechta: Remarks to Shoham's Temporal Logic. 88-95 BibTeX
Karl Schlechta: Remarks on Consistency and Completeness of Circumscription. 96-103 BibTeX

Natürlichsprachliche Systeme

Russel Block: Indefinite Noun Phrases and the Limits of Logic. 104-111 BibTeX
Michael Fliegner: HOKUSKOPUS - Verwendung terminologischen Wissens bei der Analyse von Quantorenskopus und Distributivität. 112-117 BibTeX
Helmut Horacek, Henning Bergmann, Russel Block, Michael Fliegner, Michael Gerlach, Massimo Poesio, Michael Sprenger: From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing. 118-129 BibTeX
Helmut Horacek, Claudius Pyka: Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. 130-139 BibTeX
Erwin Klöck: Utterance Generation Without Choice. 140-151 BibTeX
Hans-Joachim Novak, Birgit Wesche: Analyse und Synthese in einer kategorialen Unifikationsgrammatik: Möglichkeiten und Grenzen. 152-158 BibTeX
Carola Reddig: "3D" in NLP: Determiners, Descriptions, and the Dialog Memory in the XTRA Project. 159-168 BibTeX

Deduktion

Jürgen Müller, Rolf Socher-Ambrosius: On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. 169-178 BibTeX
Rolf Socher-Ambrosius: Using Theory Resolution to Simplify Interpreted Formulae. 179-185 BibTeX

Maschinelles Lernen

Thomas Koch: Effizientes Lernen und Bewerten von Regeln. Langpapier zum Themenbereich "Maschinelles Lernen". 186-195 BibTeX
Kai Zercher: Model-Based Learning of Rules for Error Diagnosis. 196-205 BibTeX

Mensch-Rechner-Interaktion

Carsten Kindermann, Joachim Quantz: Wissenspräsentation und -repräsentation. 206-210 BibTeX
Eric Werner: Money Talk: Hierarchical Consultation Dialogue. 211-215 BibTeX

Kognition

H. Mehmanesh, Josef Krems: SHERLOCK.0 - Kognitive Modellierung von Debuggingstrategien. 216-225 BibTeX
Simone Pribbenow: Verträglichkeitsprüfungen für die Verarbeitung räumlichen Wissens. 226-235 BibTeX
Bärbel Ripplinger, Alfred Kobsa: PLUG: Benutzerführung auf Basis einer dynamisch veränderlichen Zielhierarchie. 236-245 BibTeX

KI-Programmiersprachen

Knut Hinkelmann, Klaus Nökel, Robert Rehbold: SASLOG: Lazy Evaluation Meets Backtracking. 246-254 BibTeX
Thomas Wilmes: Mehrwertige Funktionen als Alternative zu Prädikaten. 255-264 BibTeX

Spezielle Sektion: Bildverstehen - Niedere Bilddeutung in der KI

Heiko Neumann: Extraction of Image Domain Primitives with a Network of Competitive/Cooperative Processes. 265-274 BibTeX
Stefan Posch: Hierarchische linienbasierte Tiefenbestimmung in einem Stereobild. 275-285 BibTeX
Jens Arnspang: Unambiguous Determination of Velocity and Structure of an Accelerating Surface. A Theoretic Framework. 286-295 BibTeX
Michael Mohnhaupt, David J. Fleet: Raum-zeitliche Filter für eine top-down Steuerung der Bewegungsanalyse. 296-305 BibTeX

Tutorial: Konnektionismus

Christel Kemke: Tutorial: Konnektionismus. 306-307 BibTeX

Podiumsdiskussion: Grenzen der Künstlichen Intelligenz

Egbert Lehmann: Zu Wesen und Grenzen der KI. 308-316 BibTeX
Herbert Stoyan: Grenzen der KI. 317-319 BibTeX
Gerhard Heyer: Fünf Thesen zum kognitiven Anspruch und der Industriellen Relevanz Künstlicher Intelligenz. 320-326 BibTeX
Christian Freksa: Mit welchen Themen soll sich die KI auseinandersetzen? 327-333 BibTeX