3. Österreichische Artificial-Intelligence-Tagung -

3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987
Buch | Softcover
VIII, 181 Seiten
1987
Springer Berlin (Verlag)
978-3-540-18384-6 (ISBN)
54,99 inkl. MwSt
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
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
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
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz

von Katharina Zweig

Buch | Softcover (2023)
Heyne (Verlag)
20,00
dem Menschen überlegen – wie KI uns rettet und bedroht

von Manfred Spitzer

Buch | Hardcover (2023)
Droemer (Verlag)
24,00