Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence

Wien, Austria, 24.–27. September 1991 Proceedings

Hermann Kaindl (Herausgeber)

Buch | Softcover
VIII, 180 Seiten
1991
Springer Berlin (Verlag)
9783540545675 (ISBN)

Lese- und Medienproben

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence -
CHF 76,95 inkl. MwSt
Die 7. sterreichische Artificial-Intelligence-Tagung fand
vom 24.-27. September 1991 an der Technischen Universit{t
Wien statt. Sie hat aufgrund der starken Beteiligung aus dem
Ausland einen ausgepr{gt internationalen Charakter, weshalb
auch der vorliegende Tagungsband zweisprachig
herausgegeben wurde. Die behandelten Themen aus dem Gebiet
der K}nstlichen Intelligenz (KI) werden repr{sentiert durch
sechzehn begutachtete Beitr{ge sowie zwei eingeladene
Vortr{ge. Sie sind thematisch breit gestreut, wobei sich
gewisse Schwerpunkte in den Gebieten "Nat}rliche Sprache"
und "Wissensbasierte Systeme" sowie Logik und Schlie~en"
abzeichnen.

I Contents.- Eingeladene Beiträge/Invited Talks.- Knowledge-based Generation of Illustrated Documents.- On the Complexity of Clause Condensing.- AI und Hypertext/AI and Hypertext.- HESDE - A Hypertext based Expert-System debugging Tool.- Natürliche Sprache I Natural Language.- A Model of Task-oriented Communication Based on Principles of Rational Action and Interaction.- VIE-DU - Dialogue by Unification.- Eine deklarative Beschreibung von Linkstilgungslücken in koordinierten Strukturen des Deutschen.- Wissensbasierte Systeme/Knowledge-Based Systems.- Applying Artificial Intelligence in Designing for Quality.- Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem.- Learning Diagnostic Rules for Power Distribution Systems.- Neuronale Netze/Neural Networks.- Modelling Feature Maps by Attributed Parallel Array Grammars.- Design of the SNNS Neural Network Simulator.- Logik und Schließen/Logic and Automated Reasoning.- Deductive Generalization and Meta-Reasoning or How to Formalize Genesis.- A Generalized Factorization Rule Based on the Introduction ofSkolem Terms.- On Exploiting the Structure of Martin-Löf's Theory of Types.- Being Aware of Assumptions.- A Mathematical Formulation of Dempster-Shafer's Belief Functions.- Qualitative Spatial Reasoning with Cardinal Directions.- Model-Based Diagnosis with Constraint Logic Programs.

Erscheint lt. Verlag 11.9.1991
Reihe/Serie Informatik-Fachberichte
Subreihe Künstliche Intelligenz
Zusatzinfo VIII, 180 S.
Verlagsort Berlin
Sprache deutsch
Maße 170 x 244 mm
Gewicht 330 g
Themenwelt Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Schlagworte Automatisches Schließen • Grammatik • Komplexität • Künstliche Intelligenz • Lernen • Logik • Logik und Schließen • Maschinelles Lernen • Modellbildung • Modellierung • Natürliche Sprache • Neuronale Netze • Neuronale Netzwerke • Wissensbasiertes System • Wissensbasierte Systeme
ISBN-13 9783540545675 / 9783540545675
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Künstliche Intelligenz, Macht und das größte Dilemma des 21. …

von Mustafa Suleyman; Michael Bhaskar

Buch | Softcover (2025)
C.H.Beck (Verlag)
CHF 25,20