7. Österreichische Artificial-Intelligence-Tagung : Seventh Austrian Conference on Artificial Intelligence : Wien, Austria, 24.-27. September 1991, proceedings

書誌事項

7. Österreichische Artificial-Intelligence-Tagung : Seventh Austrian Conference on Artificial Intelligence : Wien, Austria, 24.-27. September 1991, proceedings

Hermann Kaindl (Hrsg.)

(Informatik-Fachberichte, 287)(Informatik-Fachberichte, Subreihe Künstliche Intelligenz)

Springer-Verlag, c1991

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

PRIORITY 3

German and English

Includes bibliographical references

内容説明・目次

内容説明

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 Beitrage/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.- Naturliche 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 Linkstilgungslucken 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 Schliessen/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-Loef'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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ