Blick ins Buch

3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987

Ernst Buchberger, Johannes Retti (Herausgeber)

Buch | Softcover

VIII, 181 Seiten

1987
Springer Berlin (Verlag)
978-3-540-18384-6 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Die dritte Osterreichische Artificial-Intelligence-Tagung fand vom 22.-25. September 1987 an der Technischen Universitiit Wien statt. Das Programm zeigt aktuelle Forschungsthemen und priisentiert Forschungseinrichtungen, die sich methodisch und aus Anwendersicht mit der Artificial Intelligence auseinandersetzen. 1985 veransta1tete die Osterreichische Gesellschaft fiir Artificial Intelligence ihre erste Tagung an der Universitiit Wien. 1986 wurde die Tagung gemeinsam mit unserer deutschen Schwestergesellschaft, dem FachausschuB 1.2 "Kunstliche Intelligenz und Mustererken nung" der Gesellschaft fUr Informatik, organisiert und in Ottenstein (Niederosterreich) abge halten .. Fur 1987 wurde wieder Wien mit der Technischen Universitiit Wien als Veranstal tungsort gewiihlt, da hier das Interesse an der Artificial Intelligence sowoh1 seitens der Stu denten als auch seitens der Informatikinstitute in letzter Zeit stark zunahm. Zu den 17 - von 28 eingereichten - Tagungsbeitriigen selbst ist zu sagen, daB sie fast alle Teilgebiete der AI behandeln: Bildverstehen, Problemlosen, Wissensrepriisentation, Naturlichsprachige Systeme, Knowledge Engineering, Anwendung von Expertensystemen und Logische Programmierung. Wir mochten die Gelegenheit nutzen, allen zu danken, die zu dieser Tagung beigetragen haben. Dies nicht deshalb, weil es ublich ist, sondern weil ohne die freiwillige Mitarbeit von Mitgliedern der Osterreichischen Gesellschaft fiir Artificial Intelligence im Programmkomitee und bei der Organisation - Gerhard Friedrich, Markus Kommenda, Johannes Kuntner, Wolf gang Nejdl, Wolfgang Slany, Markus Stumptner - die Tagung nicht hiitte stattfinden konnen.

Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.- The RQA/FQI Strategy - Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems.- Natürlichsprachige Systeme.- Towards Automatic Semantic Classification for a Natural Language Understanding System.- Parsing Phonetic Segments into Syllables.- Knowledge Engineering.- Knowledge Engineering mit KNOPF.- PAMELA - Eine deklarative Programmiersprache für Echtzeit-Anwendungen.- Ein Werkzeug zum Wissenserwerb.- Expertensysteme.- LST1 - Ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleichs.- Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEX.- Caching and Consistency, a Solution in RLL-1.- Logic & Programming.- VIP - Eine integrierte Programmierumgebung für Prolog.- On the Integration of Equality, Sorts, and Logic Programming.- Taxonomical Reasoning in Logic Programming.- Synthesis of Specifications from Programs.- Reasoning about Theories with a Finite Model.- Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.

Erscheint lt. Verlag	9.9.1987
Reihe/Serie	Informatik-Fachberichte
Reihe/Serie	Subreihe Künstliche Intelligenz
Zusatzinfo	VIII, 181 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	340 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Beweisen • Expertensystem • Logik • Logisches Programmieren • Modellierung • Natürliche Sprache • Problemlösen • PROLOG • Wissen • Wissensbank • Wissensbasiertes System • Wissensdatenbank
ISBN-10	3-540-18384-1 / 3540183841
ISBN-13	978-3-540-18384-6 / 9783540183846
Zustand	Neuware