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

Bonn, 16.-20. September 1991 Proceedings

AvThomas Christaller

Häftad, Tyska, 1991

Del i serien Informatik-Fachberichte

589 kr

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

Produktinformation

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

Utforska kategorier

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

Innehållsförteckning

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

Bioinformation

Ernst Poppel, Thomas Christaller, Castulus Kolo

E-bok

2013

359 kr

Künstliche Intelligenz

Thomas Christaller

Häftad, 1989

589 kr

Künstliche Intelligenz

Michael M. Richter, Hans-Werner Hein, Thomas Christaller

E-bok

2013

465 kr

Künstliche Intelligenz

Thomas Christaller

E-bok

2013

608 kr

Advances in Artificial Life

Jens Ziegler, T. Kim, Jan, Peter Dittrich, Thomas Christaller, Wolfgang Banzhaf

E-bok

2011

1 427 kr

Advances in Artificial Life

Wolfgang Banzhaf, Thomas Christaller, Peter Dittrich, T. Kim, Jan, Jens Ziegler

Häftad, 2003

1 106 kr

Grundlagen und Anwendungen der Künstlichen Intelligenz

Dieter Schutt, Thomas Christaller, Otthein Herzog

E-bok

2013

608 kr

Del 38

Bioinformation

Castulus Kolo, Thomas Christaller, Ernst Pöppel

Häftad, 1999

589 kr

Grundlagen und Anwendungen der Künstlichen Intelligenz

Otthein Herzog, Thomas Christaller, Dieter Schütt

Häftad, 1993

589 kr