Dov M.加巴伊。（编辑）;菲利普·斯梅茨（编辑）;梅耶，J.-J.Ch。（编辑）;J.特雷尔。（编辑） 可废止推理不确定性管理系统手册。第6卷：推理过程的动力学和管理。 （英语） Zbl 0984.00013号 多德雷赫特：Kluwer学术出版社。vi，385 p.210.00欧元；$193.00; £132.00 (2001). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于第5卷，请参见Zbl 0959.00013号.索引文章：Meyer，J.-J.Ch。；J.特洛伊尔。，基本概念，7-13[Zbl 0996.03502号]特雷尔，简，用于推理的动态控制的元级架构的时间语义，15-39[兹比尔1017.68120]范德霍克，威比；约翰·朱尔斯（John-Jules Meyer）；特雷尔，简时间认知反射的形式语义学。，41-63 [Zbl 1051.68126号]Frank Cornelissen；Jonker，Catherolijn M。；特雷尔，简，诊断过程模型的组成验证，65-82[Zbl 1017.68121号]Joeri Engelfriet；特雷尔，简，非单调推理规范，83-103[Zbl 1017.68122号]Joeri Engelfriet；特雷尔，简，最小时间认识逻辑中默认逻辑的解释，105-124[Zbl 0997.03501号]van Linder，B。；范德霍克，W。；梅耶，J.-J.Ch。，默认推理的动力学，125-157[Zbl 0996.03020号]克里斯特·塞格伯格，默认逻辑为动态多角形逻辑，159-176[Zbl 0996.03018号]范德霍克，W。；梅耶，J.-J。；J.特雷尔。，时间化认知缺省逻辑，177-194[Zbl 0996.03019号]维克托·阿利斯；谭耀华；特雷尔，简，用于控制默认推理的元级选择技术。，195-215 [Zbl 1051.68124号]林方珍；雷·赖特，逻辑程序的一种新语义。，217-248 [Zbl 1052.68082号]菲利普·贝斯纳德（Philippe Besnard）；谭耀华，非单调推理的上下文相关自然演绎，249-266[兹伯利0996.03016]范德托雷，利安德特；谭耀华，《不确定性下的动态规范推理：如何区分不确定性义务和表面义务》，267-297[Zbl 1001.03022号]Jonker，Catherolijn M。；特雷尔，简，合作信息收集中主动性和反应性的形式分析，299-338[Zbl 1015.68548号]Brazier，Frances M.T。；巴巴拉·杜宁·凯普利茨（Barbara Dunin-Keplicz）；Treur，Jan；韦布鲁克（Rineke Verbrugge），BDI代理的内部动态行为建模，339-361[Zbl 1017.68093号]巴西，F.M.T。；Jonker，C.M。；Treur，J。；新泽西州威恩加德。，多智能体系统中的慎重进化，363-380[Zbl 1021.68528号] 引用于1审查引用于1文件 MSC公司： 00B15号机组 杂项特定利益物品的收集 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：可废止推理;不确定性管理系统;推理过程 引文：Zbl 0959.00013号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}（ed.）等人，《可判定推理不确定性管理系统手册》。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社（2001；Zbl 0984.00013）