坎宁安,吉姆 走向意识的公理化理论。 (英语) Zbl 0973.03511号 日志。J.IGPL公司 9,第2期,325-331(2001).MSC公司:03B70号 68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \发短信{J.Cunningham},日志。J.IGPL 9,第2号,325--331(2001;Zbl 0973.03511) 全文: DOI程序
Dov Gabbay公司;伍兹,约翰 更多关于对话逻辑中的非合作。 (英语) Zbl 0978.03022号 日志。J.IGPL公司 9,第2号,305-323(2001).MSC公司:03B60号 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{J.Woods},Log。J.IGPL 9,第2号,305-323(2001;Zbl 0978.03022) 全文: DOI程序
弗兰克·迪格纳姆;巴巴拉·杜宁·科普里茨;韦布鲁克(Rineke Verbrugge) 通过对话创造集体意愿。 (英语) Zbl 0974.68201号 日志。J.IGPL公司 9,第2期,289-303(2001).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dignum}等人,日志。J.IGPL 9,第2期,289--303(2001;Zbl 0974.68201) 全文: DOI程序 链接
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 动态线性时间时序逻辑中的动作推理。 (英语) Zbl 0979.03015号 日志。J.IGPL公司 9,第2期,273-287(2001). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,日志。J.IGPL 9,第2号,273--287(2001;Zbl 0979.03015) 全文: DOI程序 链接
迈克尔·伍尔德里奇;阿莱西奥·洛穆西奥 可视性、感知和知识的计算基础逻辑。 (英语) Zbl 0974.68203号 日志。J.IGPL公司 9,第2期,257-272(2001).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{A.Lomuscio},Log。J.IGPL 9,第2期,257--272(2001;Zbl 0974.68203) 全文: DOI程序 链接
约翰·朱尔斯·迈耶;法兰克·德波尔;罗杰·范·艾伊克;科恩·欣德里克斯;范德霍克,威比 关于编程KARO代理。 (英语) Zbl 0974.68202号 日志。J.IGPL公司 9,第2期,245-256(2001).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Meyer}等人,日志。J.IGPL 9,第2期,245--256(2001;Zbl 0974.68202) 全文: DOI程序 链接
胡安·比卡雷奎;提奥·迪米特拉科斯;Dov Gabbay公司;蒂姆·迈鲍姆 实际形式发展中的插值。 (英语) Zbl 0981.03035号 日志。J.IGPL公司 9,第2期,231-243(2001). 审核人:阿尔贝托·佩特罗西(罗马) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bicarregui}等人,日志。J.IGPL 9,第2231-243号(2001年;Zbl 0981.03035) 全文: DOI程序 链接
保罗·王;菲利普·贝斯纳德 Paraconsistent推理作为一种分析工具。 (英语) Zbl 0983.03018号 日志。J.IGPL公司 9,第2期,217-229(2001). 审核人:Albert A.Mullin(麦迪逊) MSC公司:03B53号 94甲15 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{P.Wong}和\textit{P.Besnard},Log。J.IGPL 9,第2期,217--229(2001;Zbl 0983.03018) 全文: DOI程序 链接
巴黎,J.B。;沃菲,M。 归纳逻辑中原因的出现。 (英语) Zbl 1027.03021号 日志。J.IGPL公司 9,第2期,207-216(2001).MSC公司:03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Paris}和\textit{M.Wafy},Log。J.IGPL 9,第2期,207--216(2001;Zbl 1027.03021) 全文: DOI程序 链接
格里·沃尔夫 通过多重对齐、统一和搜索进行信息压缩,作为仿人推理的框架。 (英语) Zbl 0985.68733号 日志。J.IGPL公司 9,第2期,189-206(2001).MSC公司:68单位99 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Wolff},日志。J.IGPL 9,第2期,189--206(2001;Zbl 0985.68733) 全文: DOI程序
彼得·麦克伯尼;西蒙·帕森斯 化学致癌性推理的辩证论证。 (英语) Zbl 0985.68732号 日志。J.IGPL公司 9,编号2175-187(2001).MSC公司:68单位99 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{P.McBurney}和\textit{S.Parsons},Log。J.IGPL 9,第2期,175--187(2001;Zbl 0985.68732) 全文: DOI程序 链接
Dov Gabbay公司;约翰·伍兹 新逻辑。 (英语) Zbl 0984.03032号 日志。J.IGPL公司 9,第2期,141-174(2001). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B99 68T27型 91E10型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{J.Woods},Log。J.IGPL 9,第2期,141--174(2001;Zbl 0984.03032) 全文: DOI程序 链接