このページのリンク

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

利用統計

  • このページへのアクセス:18回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings

責任表示 J. Dix, K.P. Jantke, P.H. Schmitt, eds
シリーズ Lecture notes in computer science ; 543 . Lecture notes in artificial intelligence
データ種別 図書
出版情報 Berlin ; Tokyo : Springer-Verlag , c1991
本文言語 英語
大きさ x, 243 p. ; 25 cm
概要 This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The works...op was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson: - Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic andprovide an up-to-date view of the current state of researchpresented by leading experts in the field. A novelty in thecontributions from the area of inductive logic is theanalysis of nonmonotonicity in the theory of inductivelearning. 続きを見る
電子版へのリンク

所蔵情報


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

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

書誌詳細

一般注記 Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Inference
Includes bibliographical references
著者標目 Dix, J. (Jürgen), 1961-
International Workshop on Nonmonotonic and Inductive Inference (1st : 1990 : Karlsruhe, Germany)
Jantke, Klaus P.
Schmitt, P. H. (Peter H.), 1948-
件 名 LCSH:Logic programming -- Congresses  全ての件名で検索
LCSH:Artificial intelligence -- Congresses  全ての件名で検索
分 類 LCC:QA76.63
DC20:006.3
NDC8:007.1
書誌ID 1000999749
ISBN 3540545646
NCID BA13098850
巻冊次 : gw ; ISBN:3540545646
: us ; ISBN:0387545646
登録日 2009.09.16
更新日 2017.02.18

類似資料