【预售 按需印刷】Handbook of Deontic Logic and Normative Systems
北京发货,付款后10天内发货
/ 1970-08-22
¥277.83
进入中图图书旗舰店
【预订】Belief Change 9780792351627
国外库房发货,通常付款后3-5周到货!
/ 1998-10-31
Product Details 基本信息 ISBN-13 书号 9780792351627 Author 作者 Gabbay Format 版本 精装 Pages Number 页数 453页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 1998-10-31 Language 语种 英语 Book Contents 内容简介 Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive coverage of, and seeks to reconcile, two traditions in the kinematics of belief that often ignore each other - the symbolic and the numerical (often probabilistic) approaches. Moreover, the work encompasses both revision and fusion problems, even though these two are also commonly
¥2006
【预订】Sets and Extensions in the Twentieth Century 97804445162
美国库房发货,通常付款后3-5周到货!
/ 2012-03-02
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9780444516213 Author 作者 Gabbay, Dov M. Format 版本 精装 Pages Number 页数 880页 Publication Date 出版日期 2012-03-02 Shipping Weight 商品重量 1970g Language 语种 英语 Book Contents 内容简介 Set Theory
¥2114
【预订】Journal of Applied Logics - Ifcolog Journal of Logics an
美国库房发货,通常付款后3-5周到货!
/ 2018-10-01
Product Details 基本信息 ISBN-13 书号 9781848902886 Author 作者 Michael Gabbay Format 版本 平装-胶订 Pages Number 页数 184页 Publisher 出版社 College Publications Publication Date 出版日期 2018-10-01 Language 语种 英语
¥165.00
【预订】A New Perspective on Nonmonotonic Logics 9783319468150
美国库房发货,通常付款后3-5周到货!
/ 2016-11-14
Product Details 基本信息 ISBN-13 书号 9783319468150 Author 作者 Gabbay Format 版本 精装 Pages Number 页数 365页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-11-14 Shipping Weight 商品重量 725g Language 语种 英语 Book Contents 内容简介 In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of ’natural’ concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for resear
¥1022
美国库房发货,通常付款后3-5周到货!
/ 2012-11-01
Product Details 基本信息 ISBN-13 书号 9780444529374 Author 作者 Gabbay Format 版本 精装 Pages Number 页数 708页 Publisher 出版社 North-Holland Publishing Co. Publication Date 出版日期 2012-11-01 Product Dimensions 商品尺寸 9.8 x 7.6 x 1.4 cm Shipping Weight 商品重量 1650g Language 语种 英语 Book Contents 内容简介 Logic
¥2114
预订 Temporal Logic: Mathematical Foundations and Co... 978019
海外仓库发货,通常付款后4-9周到货!
/ 2000-03-30
图书信息 书号: 9780198537687 作者: Gabbay, Dov M; Finger, M.; Reynolds, M. 装帧: 精装 页数: 612页 出版社: Oxford University Press 尺寸: 24.0 x 16.1 x 0.2 cm 出版日期: 2000-03-30 重量: 1056g 语种: 其它(含多语) 内容简介 Mathematical logic is an area of interes
¥3287
【预订】Handbook of Philosophical Logic 9781402063237
国外库房发货,通常付款后3-5周到货!
/ 2007-09-14
Product Details 基本信息 ISBN-13 书号 9781402063237 Author 作者 Dov M. Gabbay King’s College London Dept. Computer Science Format 版本 精装 Pages Number 页数 345页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2007-09-14 Language 语种 英语 Book Contents 内容简介 theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: ? a chapter on non-monotonic logic ? a chapter on combinatory logic and -calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and e
¥1985
【预订】Computational Logic 9780444516244
美国库房发货,通常付款后3-5周到货!
/ 2014-11-28
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9780444516244 Author 作者 Gabbay, Dov M. Format 版本 精装 Pages Number 页数 736页 Publication Date 出版日期 2014-11-28 Product Dimensions 商品尺寸 9.3 x 7.6 x 1.6 cm Shipping Weight 商品重量 1190g Language 语种 英语 Book Contents 内容简介 Logic
¥2144
【预订】The Rise of Modern Logic 9780444516114
美国库房发货,通常付款后3-5周到货!
/ 2004-03-08
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9780444516114 Author 作者 Gabbay, Dov M. Format 版本 精装 Pages Number 页数 780页 Publication Date 出版日期 2004-03-08 Shipping Weight 商品重量 1530g Language 语种 英语 Book Contents 内容简介 Logic
¥2377
预订 Handbook of Logic in Artificial Intelligence an... 978019
海外仓库发货,通常付款后4-9周到货!
/ 1994-03-17
图书信息 书号: 9780198537472 作者: Gabbay, Dov M.; Hogger, C. J.; Robins... 装帧: 精装 页数: 548页 出版社: Oxford University Press 尺寸: 0.0 x 0.0 x 0.2 cm 出版日期: 1994-03-17 语种: 其它(含多语) 内容简介 The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-author volume work cove
¥4603
【预订】Conditionals and Modularity in General Logics 9783642190
美国库房发货,通常付款后3-5周到货!
/ 2011-08-19
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9783642190674 Author 作者 Gabbay Format 版本 精装 Pages Number 页数 233页 Publication Date 出版日期 2011-08-19 Shipping Weight 商品重量 532g Language 语种 英语 Book Contents 内容简介 This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors’ uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The t
¥1022
【预订】Qualitative and Quantitative Practical Reasoning 9783540
国外库房发货,通常付款后3-5周到货!
/ 1997-05-28
Product Details 基本信息 ISBN-13 书号 9783540630951 Author 作者 Gabbay Format 版本 平装-胶订 Pages Number 页数 626页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-05-28 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR’97, held in Bad Honnef, Germany, in June 1997.The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic reasoning with partial models, and user modeling approaches.
¥1040
预订 Handbook of Logic in Computer Science: Volume 3... 978019
海外仓库发货,通常付款后4-9周到货!
/ 1995-04-27
图书信息 书号: 9780198537625 作者: Abramsky, S.; Gabbay, Dov M.; Maibaum... 装帧: 精装 页数: 506页 出版社: Oxford University Press 尺寸: 22.8 x 15.2 x 0.2 cm 出版日期: 1995-04-27 重量: 911g 语种: 其它(含多语) 内容简介 This, the third volume in the successful
¥4360
【预订】Labelled Deductive Systems 9780198538332
国外库房发货,通常付款后3-5周到货!
/ 1996-09-05
Product Details 基本信息 ISBN-13 书号 9780198538332 Author 作者 Gabbay Format 版本 精装 Pages Number 页数 510页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1996-09-05 Shipping Weight 商品重量 868g Language 语种 英语 Book Contents 内容简介 This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.
¥1310
【预订】Mathematical Problems from Applied Logic II 978144192408
国外库房发货,通常付款后3-5周到货!
/ 2010-11-23
Product Details 基本信息 ISBN-13 书号 9781441924087 Author 作者 Dov Gabbay Format 版本 平装-胶订 Pages Number 页数 354页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-11-23 Language 语种 英语 Book Contents 内容简介 ’Mathematical Problems from Applied Logic II’ presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space. Contributors include: Sergei Artemov, USA; John Case, USA; Sergei
¥1022
预订 Abductive Reasoning and Learning 9780792365655
海外仓库发货,通常付款后4-9周到货!
/ 2000-09-30
/ Springer
图书信息 书号: 9780792365655 作者: Dov M Gabbay 装帧: 精装 页数: 442页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2000-09-30 重量: 908g 语种: 其它(含多语) 内容简介 This book contains leading survey papers on the various aspects of Abduction, both
¥2914
【预订】Conditionals and Modularity in General Logics 9783642270
国外库房发货,通常付款后3-5周到货!
/ 2013-11-27
Product Details 基本信息 ISBN-13 书号 9783642270659 Author 作者 Gabbay Format 版本 平装-胶订 Pages Number 页数 233页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 379g Language 语种 英语 Book Contents 内容简介 This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors’ uniform picture of conditiona
¥1002