GWAI-91 : 15. Fachtagung für Künstliche Intelligenz, Bonn, 16-20 September 1991 : proceedings
著者
書誌事項
GWAI-91 : 15. Fachtagung für Künstliche Intelligenz, Bonn, 16-20 September 1991 : proceedings
(Informatik-Fachberichte, 285)
Springer-Verlag, c1991
- us
- gw
大学図書館所蔵 全1件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
内容説明・目次
目次
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 optimalitatserhaltende Operatorabstraktion.- 4. Sprachverarbeitung.- A Frame-Based Computational Model of Generic Generalisations.- Towards Finding the Reasons behind - Generating the Content of Explanation.- Fokusmodellierung durch Sichtabhangigkeitsgraphen bei der Interpretation naturlichsprachlicher Datenbank-Updates.- Morphological Principle A Proposal for Treating Russian Morphology Within an HPSG Framework.- Evaluation von Grammatiken fur die Analyse naturlicher Sprache durch Generierung einer reprasentativen Satzmenge.- On the Representation of Speech Acts in Situation Semantics.- 5. Wissensreprasentation.- 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 fur die foederative Kooperation von Expertensystemen.- Graphische Wissensreprasentation.- 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".
「Nielsen BookData」 より