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

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

AvHermann Kaindl

Häftad, Tyska, 1991

Del 287 i serien Informatik-Fachberichte

587 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1991-09-11
Mått:170 x 244 x 11 mm
Vikt:342 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:180
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540545675

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Del 1375

Evaluation of Novel Approaches to Software Engineering

Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Häftad, 2021

572 kr

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Hermann Kaindl, Raian Ali

E-bok

2021

732 kr

Del 1556

Evaluation of Novel Approaches to Software Engineering

Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Häftad, 2022

911 kr

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Hermann Kaindl, Raian Ali

E-bok

2022

1 138 kr

Del 1829

Evaluation of Novel Approaches to Software Engineering

Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek

Häftad, 2023

911 kr

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Mike Mannion, Hermann Kaindl

E-bok

2023

1 150 kr

Evaluation of Novel Approaches to Software Engineering : 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected

Hermann Kaindl, Mike Mannion

672 kr

Del 2028

Evaluation of Novel Approaches to Software Engineering

Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek

Häftad, 2024

1 082 kr

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Mike Mannion, Hermann Kaindl

E-bok

2024

1 634 kr

Del 2877

Evaluation of Novel Approaches to Software Engineering

Leszek Maciaszek, Hermann Kaindl, Mike Mannion

Häftad, 2026

853 kr

Mer från samma serie

Programmiersprachen

H.J. Schneider, M. Nagl

Häftad, 1976

588 kr

Betrieb von Rechenzentren

A. Schreiner

Häftad, 1976

588 kr

Rechnernetze und Datenfernverarbeitung

D. Haupt, H. Petersen

Häftad, 1976

588 kr

Computer Architecture

W. Händler

Häftad, 1976

1 135 kr

GI — 6. Jahrestagung

E. J. Neuhold

Häftad, 1976

588 kr

Fachtagung Prozessrechner 1977

G. Schmidt

Häftad, 1977

588 kr

Digitale Bildverarbeitung Digital Image Processing

H.-H. Nagel

Häftad, 1977

588 kr

Modelle für Rechensysteme

P.P. Spies

Häftad, 1977

1 137 kr

GI — 7. Jahrestagung

H. J. Schneider

Häftad, 1977

1 137 kr

Del 11

Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren

R. Gnatz, K. Samelson

Häftad, 1977

571 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Uncertainty in Knowledge Bases

Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh

Häftad, 1991

1 102 kr

Del 1375

Evaluation of Novel Approaches to Software Engineering

Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Häftad, 2021

572 kr

Del 74

Multivariate Modelle

Gilg U.H. Seeber, Christoph E. Minder

Häftad, 1991

570 kr

Del 365

Balanced Silverman Games on General Discrete Sets

Gerald A. Heuer, Ulrike Leopold-Wildburger, Gerald Heuer, Ulrike Leopold-Wildburger

Häftad, 1991

554 kr

Problemlösen durch heuristische Suche in der Artificial Intelligence

Hermann Kaindl

E-bok

2013

465 kr

Del 1556

Evaluation of Novel Approaches to Software Engineering

Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Häftad, 2022

911 kr

Recent Trends in Data Type Specification

Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel

Häftad, 1991

571 kr

France and the Mass Media

Nicholas Hewitt, Brian Rigby

Inbunden, 1991

1 104 kr

Theory and Operation of Spectral Analysis

R.L. Coldwell, G.J. Bamford

Häftad, 1991

556 kr

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

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

AvHermann Kaindl

Häftad, Tyska, 1991

Del 287 i serien Informatik-Fachberichte

587 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1991-09-11
Mått:170 x 244 x 11 mm
Vikt:342 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:180
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540545675

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

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.