塞勒姆·本费哈特;西尔万·拉格鲁;朱利安·罗西特 基于最大似然的优先信息融合。 (英语) Zbl 1185.68701号 J.日志。计算。 19,第6期,1577-1610(2009).MSC公司:68层37 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Benferhat}等人,J.Log。计算。19,第6号,1577--1610(2009;Zbl 1185.68701) 全文: 内政部
斯特凡·德姆里;雷吉斯·加斯科 限定句法资源对Presburger LTL的影响。 (英语) Zbl 1193.03033号 J.日志。计算。 第619541-1575号(2009年).MSC公司:03B44号 03B25号 05年3月 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon},J.Log。计算。19,第6号,1541--1575(2009;Zbl 1193.03033) 全文: 内政部 哈尔
哈尼法·布切内布;纪尧姆·加迪;奥利维尔·H·鲁克斯。 时间Petri网的TCTL模型检验。 (英语) Zbl 1188.68182号 J.日志。计算。 19,第6期,1509-1540(2009).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}等人,J.Log。计算。19,第6号,1509-1540(2009;Zbl 1188.68182) 全文: 内政部 哈尔
默多克·J·加贝。;亚德·马蒂杰森 名义(通用)代数:具有名称和约束的等式逻辑。 (英语) Zbl 1191.08003号 J.日志。计算。 19,第6期,1455-1508(2009).MSC公司:08A70型 03C05号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen},J.Log。计算。19,第6号,1455--1508(2009;Zbl 1191.08003) 全文: 内政部 链接
周春来 概率逻辑的完整演绎系统。 (英语) Zbl 1191.03018号 J.日志。计算。 19,第6期,1427-1454(2009).MSC公司:03B48 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou},J.日志。计算。19,第6号,1427--1454(2009;Zbl 1191.03018) 全文: 内政部
拉斐尔·博迪尼。;迈克尔·费希尔;迈克尔·伍尔德里奇;威廉·维瑟 基于属性的切片用于代理验证。 (英语) Zbl 1185.68751号 J.日志。计算。 19,第6期,1385-1425(2009).MSC公司:第68页第42页 68甲15 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Bordini}等人,J.Log。计算。19,第6号,1385-1425(2009;Zbl 1185.68751) 全文: 内政部 链接
曼纽尔·博迪尔斯基;陈,胡比 重温定性时间和空间推理。 (英语) Zbl 1185.68663号 J.日志。计算。 19,第6期,1359-1383(2009).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{H.Chen},J.Log。计算。19,第6号,1359--1383(2009;Zbl 1185.68663) 全文: 内政部
阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯;若昂·拉斯加;马塞洛·科尼格里奥 关于逻辑的图形理论纤维。 (英语) Zbl 1193.03056号 J.日志。计算。 19,第6期,1321-1357(2009).MSC公司:03B62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas}等人,J.Log。计算。19,第6号,1321--1357(2009;Zbl 1193.03056) 全文: 内政部
阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯;若昂·拉斯加;马塞洛·科尼格里奥 逻辑的图形理论说明。 (英语) Zbl 1189.03036号 J.日志。计算。 19,第6期,1281-1320(2009).MSC公司:03B62型 03G30型 05C90年 18A10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas}等人,J.Log。计算。19,第6号,1281--1320(2009;Zbl 1189.03036) 全文: 内政部 链接
戴维·巴恩斯;卡洛斯·卡莱罗;拉莫斯,詹姆;卢卡·维甘诺 分布式时序逻辑的标签表。 (英语) Zbl 1196.03044号 J.日志。计算。 19,第6期,1245-1279(2009). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 03B44号 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,J.Log。计算。19,第6号,1245--1279(2009;Zbl 1196.03044) 全文: 内政部 链接
马修·科林森;布莱恩·莫纳汉;大卫·派姆 定位资源的逻辑和计算理论。 (英语) Zbl 1185.68440号 J.日志。计算。 19,第6期,1207-1244(2009).MSC公司:68问题85 03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,J.Log。计算。19,第6号,1207--1244(2009;Zbl 1185.68440) 全文: 内政部 链接
佐菲亚·科斯特齐卡 关于包含KTB的有限公理化Kripke不完备逻辑。 (英语) Zbl 1193.03039号 J.日志。计算。 19,第6期,1199-1205(2009).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kostrzycka},J.Log。计算。19,第6号,1199--1205(2009;Zbl 1193.03039) 全文: 内政部
C·贝尔蒂尼。;勒波里尼,R。 量子计算提出的一种公理系统。 (英语) Zbl 1193.03059号 J.日志。计算。 19,第6期,1175-1198(2009).MSC公司:03B70号 03克12 2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertini}和\textit{R.Leporini},J.Log。计算。19,第6号,1175--1198(2009;Zbl 1193.03059) 全文: 内政部
梅利恩·塞文斯特 模式依赖逻辑的模型理论和计算特性。 (英语) Zbl 1193.03042号 J.日志。计算。 19,第6期,1157-1173(2009).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Sevenster},J.Log。计算。19,第6号,1157--1173(2009;Zbl 1193.03042) 全文: 内政部
阮,季;范德霍克,威比;迈克尔·伍尔德里奇 用游戏描述语言验证游戏。 (英语) Zbl 1185.68678号 J.日志。计算。 19,第6期,1127-1156(2009).MSC公司:68T27型 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ruan}等人,J.Log。计算。19,第6号,1127--1156(2009;Zbl 1185.68678) 全文: 内政部 链接
佐菲亚·科斯特齐卡 关于局部有限逻辑的真密度。 (英语) Zbl 1206.03012号 J.日志。计算。 第6期第19页,第1113-1125页(2009年).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kostrzycka},J.Log。计算。19,第6号,1113--1125(2009;Zbl 1206.03012) 全文: 内政部
潘明·唐恩;潘明·邓;阮杜洪 抽象论证中辩证证明程序的通用框架。 (英语) Zbl 1185.68677号 J.日志。计算。 19,第6期,1071-1109(2009).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Thang}等人,J.Log。计算。19,第6号,1071--1109(2009;Zbl 1185.68677) 全文: 内政部 链接
费利克斯·布;弗朗西斯科·埃斯特瓦;字体,Josep Maria;吉尔,安吉尔J。;路易斯·戈多;安东尼·托伦斯;文图拉·弗杜 保留各种剩余格的真度的逻辑。 (英语) Zbl 1197.03023号 J.日志。计算。 19,第6期,1031-1069(2009); 更正同上,第22号,第3期,第661-665页(2012年)。MSC公司:03B50 03B47号 03G27号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{F.Bou}等人,J.Log。计算。19,第6号,1031--1069(2009;Zbl 1197.03023) 全文: 内政部 arXiv公司
曼努埃拉·布萨尼切;罗伯托·奇格诺利 剩余格作为次协调Nelson逻辑的代数语义。 (英语) 兹比尔1191.03045 J.日志。计算。 19,第6期,1019-1029(2009).MSC公司:03克10 03B53号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Busaniche}和\textit{R.Cignoli},J.Log。计算。19,第6号,1019--1029(2009;Zbl 1191.03045) 全文: 内政部
弗拉基米尔·里巴科夫 线性时态逻辑\({\mathcal{LTL}}_K\)由多代理逻辑\(\text)扩展{K} _n(n)\)使用交互代理。 (英语) Zbl 1208.03023号 J.日志。计算。 19,第6期,989-1017(2009). 审核人:安德烈亚斯·赫尔齐格(图卢兹) MSC公司:03B44号 03B42号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},J.Log。计算。19,第6号,989--1017(2009;Zbl 1208.03023) 全文: 内政部
卢卡·阿尔贝鲁奇 S5上模态演算的序列演算。 (英语) Zbl 1266.03028号 J.日志。计算。 19,第6期,971-985(2009).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci},J.Log。计算。19,第6号,971--985(2009;Zbl 1266.03028) 全文: 内政部 链接
亚当·怀纳;特雷弗长椅盖 在论证框架中模拟司法背景。 (英语) Zbl 1185.68684号 J.日志。计算。 19,第6期,941-968(2009).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Wyner}和\textit{T.Bench-Capon},J.Log。计算。19,第6号,941-968(2009;Zbl 1185.68684) 全文: 内政部
埃米利亚诺·洛里尼;多米尼克·朗金;Benoit Gaudou公司;安德烈亚斯·赫齐格 接受的逻辑:机构基于代理人的态度。 (英语) Zbl 1188.68317号 J.日志。计算。 19,第6号,901-940(2009).MSC公司:第68页第42页 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini}等人,J.Log。计算。19,编号61901-940(2009年;兹bl 1188.68317) 全文: 内政部 哈尔