GWAI-91 15. Fachtagung für Künstliche Intelligenz

Bonn, 16.-20. September 1991 Proceedings

Häftad, Tyska, 1991

AvThomas Christaller

739 kr

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

Produktinformation

Utgivningsdatum1991-09-05
Mått170 x 244 x 16 mm
Vikt502 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor275
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540545583

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Artificiell intelligens inom Data och it

1. Deduktion.- Generalized Earley Deduction and Its Correctness.- A Completeness Proof Technique for Resolution with Equality.- Answer for Disjunctive Logic Programs.- Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation.- Non-Monotonic Reasoning for Clause Logic Programming in a General Setting.- 2. Maschinelles Lernen.- Feature Construction During Tree Learning.- Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations.- 3. Planen.- Problemzerlegung als optimalitätserhaltende Operatorabstraktion.- 4. Sprachverarbeitung.- A Frame-Based Computational Model of Generic Generalisations.- Towards Finding the Reasons behind — Generating the Content of Explanation.- Fokusmodellierung durch Sichtabhängigkeitsgraphen bei der Interpretation natürlichsprachlicher Datenbank-Updates.- Morphological Principle A Proposal for Treating Russian Morphology Within an HPSG Framework.- Evaluation von Grammatiken für die Analyse natürlicher Sprache durch Generierung einer repräsentativen Satzmenge.- On the Representation of Speech Acts in Situation Semantics.- 5. Wissensrepräsentation.- Entwicklung von Wissensbankbetriebssystemen.- Konstruktion und Evaluation von Wissensbasen in textverstehenden Systemen.- Vivid Logic and Directly Skeptical Inheritance.- TEMPO — ein integrierter Ansatz zur Modellierung qualitativer und quantitativer zeitlicher Informationen.- Temporal Reasoning with Generalized Relations.- Model Representation and Taxonomic Reasoning in Configuration Problem Solving.- 6. Expertensysteme.- Improving Case Based Classification with Expert Knowledge.- Reflection and Computer Problem Solving.- FRESCO: Eine Bankenapplikation als Testbed für die föderative Kooperation vonExpertensystemen.- Graphische Wissensrepräsentation.- Methodology for Reconstructing Medical Problem Solving Competence.- 7. Automatisches Programmieren.- Constructing Programs from Input-Output Pairs.- 8. Konnektionismus.- Transforming Constraint Relaxation Networks into Boltzmann Machines.- The SNNS Neural Network Simulator.- “wahrscheinlich sind meine Beispiele soo sprunghaft und und und eh ehm zu zu telegraph” — Konnektionistische Modellierung von “covert repairs”.

Du kanske också är intresserad av

Politics and Religion in the Modern World

Politics and Religion in the Modern World

2 069 kr

Jurgen Habermas

Jurgen Habermas

Robert C. Holub

859 kr

American Exodus

American Exodus

James N. Gregory, Berkeley) Gregory, James N. (Associate Professor of History, Associate Professor of History, University of California

259 kr

Here be Dragons

Here be Dragons

289 kr

Equal Justice

Equal Justice

Eric Rakowski, Berkeley) Rakowski, Eric (Acting Professor of Law, Acting Professor of Law, University of California

2 159 kr

Biology and Cognitive Development

Biology and Cognitive Development

Mark H. Johnson, John Morton, London) Johnson, Mark H. (Birkbeck College, London) Morton, John (University College

579 kr

Global Change and Challenge

Global Change and Challenge

1 049 kr

If Morning Ever Comes

If Morning Ever Comes

179 kr

Phylogenetic and Biochemical Perspectives

Del 1

Phylogenetic and Biochemical Perspectives

P.W. Ed. Hochachka, T.P. Mommsen, Peter W. Hochachka, Canada) Mommsen, T.P. (University of Victoria, BC, Canada) Hochachka, Peter W. (University of British Columbia, Vancouver, British Columbia, T. P. Mommsen, P. W. Hochachka

4 499 kr

All that Hollywood Allows

All that Hollywood Allows

489 kr