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

@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
Joachim Funke: Künstliche Intelligenz und Kognitive Psychologie: Zum Stand der Beziehung. 17-26
Paul Levi: Verteilte Aktionsplanung für autonome mobile Agenten. 27-40

Wissensrepräsentation

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

Natürlichsprachliche Systeme

Russel Block: Indefinite Noun Phrases and the Limits of Logic. 104-111
Michael Fliegner: HOKUSKOPUS - Verwendung terminologischen Wissens bei der Analyse von Quantorenskopus und Distributivität. 112-117
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
Helmut Horacek, Claudius Pyka: Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. 130-139
Erwin Klöck: Utterance Generation Without Choice. 140-151
Hans-Joachim Novak, Birgit Wesche: Analyse und Synthese in einer kategorialen Unifikationsgrammatik: Möglichkeiten und Grenzen. 152-158
Carola Reddig: "3D" in NLP: Determiners, Descriptions, and the Dialog Memory in the XTRA Project. 159-168

Deduktion

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

Maschinelles Lernen

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

Mensch-Rechner-Interaktion

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

Kognition

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

KI-Programmiersprachen

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

Spezielle Sektion: Bildverstehen - Niedere Bilddeutung in der KI

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

Tutorial: Konnektionismus

Christel Kemke: Tutorial: Konnektionismus. 306-307

Podiumsdiskussion: Grenzen der Künstlichen Intelligenz

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