この情報を出力する

このページのリンク

引用にはこちらのURLをご利用ください

他の検索サイト

利用統計

  • このページへのアクセス：87回
  • 貸出数：0回
    (1年以内の貸出数：0回)

＜図書＞
Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings

責任表示 H. Boley, M.M. Richter, (eds.)
シリーズ Lecture notes in computer science ; 567 . Lecture notes in artificial intelligence
データ種別 図書
出版情報 Berlin ; New York : Springer Verlag , c1991
本文言語 英語
大きさ xii, 427 p. : ill. ; 25 cm
概要 This volume presents the proceedings of an internationalworkshop on the processing of declarative knowledge. Theworkshop was organized and hosted by the German ResearchCenter for Artificial Intellige...ce (DFKI) in cooperationwith the Association for Logic Programming (ALP) and theGesellschaft f}r Informatik (GI).Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, andrelated formalisms. The workshop addressed such high-levelrepresentations and their efficient implementation requiredfor declarative knowledge bases. Many of the papers treatrepresentation methods, mainly concept languages, and manytreat implementation methods, such as transformationtechniques and WAM-like abstract machines. Several papersdescribe implemented knowledge-processing systems. Thecompetition between procedural and declarative paradigms wasdiscussed in a panel session, and position statements of thepanelists are included in the volume. 続きを見る
電子版へのリンク https://hdl.handle.net/2324/7019107

所蔵情報


: gw 理系図 自動書庫 007/L 49 1991
068252192003161

: gw 理系図 自動書庫 408/L 49 1991
061232004009925

書誌詳細

一般注記 Includes bibliographical references
著者標目 Boley, H.
Richter, Michael M., 1938-
*Processing Declarative Knowledge (1991 : Kaiserslautern, Germany)
件　名 LCSH:Expert systems (Computer science) -- Congresses  全ての件名で検索
LCSH:Artificial intelligence -- Congresses  全ての件名で検索
分　類 LCC:QA76.76.E95
DC20:006.3/3
書誌ID 1000955043
ISBN 354055033X
NCID BA1359733X
巻冊次 : gw ; ISBN:354055033X
: us ; ISBN:038755033X
登録日 2009.09.16
更新日 2017.02.18