<電子ブック>
Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings / edited by Klaus P. Jantke, Peter H. Schmitt
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 543)
版 | 1st ed. 1991. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1991 |
本文言語 | 英語 |
大きさ | X, 250 p : online resource |
著者標目 | Jantke, Klaus P editor Schmitt, Peter H editor SpringerLink (Online service) |
件 名 | LCSH:Artificial intelligence LCSH:Computer science LCSH:Mathematical logic FREE:Artificial Intelligence FREE:Computer Science Logic and Foundations of Programming FREE:Mathematical Logic and Foundations |
一般注記 | Cumulative inference relations for JTMS and logic programming -- Cumulativity and rationality in semantics of normal logic programs -- Nonmonotonic reasoning and logic programs -- Supracompact inference operations -- Notions of nonmonotonic derivability -- Ranges of strong modal nonmonotonic logics -- On generation of cumulative inference operators by default deduction rules -- Qualitative magnitude reasoning -- Monotonic and non-monotonic inductive inference of functions and patterns -- A note on polynomial-time inference of k-variable pattern languages -- A thesis in inductive inference -- Inductive inference of optimal programs a survey and open problems -- Autoepistemic expansions with incomplete belief introspection -- Is it impossible to keep up to date? This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: - Nonmonotonicity in logic programs - Axiomatic approach to nonmonotonic reasoning - Inductive inference - Autoepistemic logic - Belief updates The bulk of the papers are devoted to nonmonotonic logic and provide an up-to-date view of the current state of research presented by leading experts in the field. A novelty in the contributions from the area of inductive logic is the analysis of nonmonotonicity in the theory of inductive learning HTTP:URL=https://doi.org/10.1007/BFb0023313 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540384694 |
|
電子リソース |
|
EB00225278 |