Del 287 i serien Informatik-Fachberichte

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

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

Häftad, Tyska, 1991

769 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum1991-09-11
Mått170 x 244 x 11 mm
Vikt342 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor180
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540545675

Tillhör följande kategorier

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

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

739 kr

Del 1556

Evaluation of Novel Approaches to Software Engineering

Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Häftad, 2022

1 189 kr

Del 1829

Evaluation of Novel Approaches to Software Engineering

Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek

Häftad, 2023

1 189 kr

Del 2028

Evaluation of Novel Approaches to Software Engineering

Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek

Häftad, 2024

1 409 kr

Del 2877

Evaluation of Novel Approaches to Software Engineering

Leszek Maciaszek, Hermann Kaindl, Mike Mannion

Häftad, 2026

1 109 kr

Problemlösen durch heuristische Suche in der Artificial Intelligence

Hermann Kaindl

Häftad, 1988

769 kr

Mer från samma serie

Programmiersprachen

H.J. Schneider, M. Nagl

Häftad, 1976

769 kr

Betrieb von Rechenzentren

A. Schreiner

Häftad, 1976

769 kr

Rechnernetze und Datenfernverarbeitung

D. Haupt, H. Petersen

Häftad, 1976

769 kr

Computer Architecture

W. Händler

Häftad, 1976

1 479 kr

GI — 6. Jahrestagung

E. J. Neuhold

Häftad, 1976

769 kr

Fachtagung Prozessrechner 1977

G. Schmidt

Häftad, 1977

769 kr

Digitale Bildverarbeitung Digital Image Processing

H.-H. Nagel

Häftad, 1977

769 kr

Modelle für Rechensysteme

P.P. Spies

Häftad, 1977

1 479 kr

GI — 7. Jahrestagung

H. J. Schneider

Häftad, 1977

1 479 kr

Del 11

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

R. Gnatz, K. Samelson

Häftad, 1977

739 kr

Du kanske också är intresserad av

Del 1375

Evaluation of Novel Approaches to Software Engineering

Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Häftad, 2021

739 kr

Uncertainty in Knowledge Bases

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

Häftad, 1991

1 429 kr

Del 74

Multivariate Modelle

Gilg U.H. Seeber, Christoph E. Minder

Häftad, 1991

739 kr

Del 1556

Evaluation of Novel Approaches to Software Engineering

Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Häftad, 2022

1 189 kr

Del 365

Balanced Silverman Games on General Discrete Sets

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

Häftad, 1991

719 kr

Recent Trends in Data Type Specification

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

Häftad, 1991

739 kr

France and the Mass Media

Nicholas Hewitt, Brian Rigby

Inbunden, 1991

1 439 kr

Theory and Operation of Spectral Analysis

R.L. Coldwell, G.J. Bamford

Häftad, 1991

719 kr

You Know ME Al

Ring Lardner

Häftad, 1991

359 kr

Del 1829

Evaluation of Novel Approaches to Software Engineering

Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek

Häftad, 2023

1 189 kr

Del 287 i serien Informatik-Fachberichte

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

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

Häftad, Tyska, 1991

AvHermann Kaindl

769 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-09-11
Mått170 x 244 x 11 mm
Vikt342 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor180
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540545675

Tillhör följande kategorier

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

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.