塞巴斯蒂安·恩奎斯特;瓦伦丁·戈兰科 并发多人游戏中联盟目标分配的时间逻辑。 (英语) Zbl 1505.03048号 ACM事务处理。计算。日志。 23,第4条,第21条,58页(2022年).MSC公司:03B44号 03B70号 68问题85 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}和\textit{V.Goranko},ACM Trans。计算。日志。23,第4号,第21条,58页(2022年;Zbl 1505.03048) 全文: 内政部 arXiv公司
法比奥·加洛。;杰拉尔多·西马里。;Martinez、Maria Vanina;桑托斯,纳塔利亚·阿巴德;马塞洛·法拉帕。 网络知识库中的局部信念动态。 (英语) Zbl 1508.68369号 ACM事务处理。计算。日志。 23,第1号,第4条,第36页(2021年).MSC公司:68立方英尺 03B42型 68T27型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Gallo}等人,ACM Trans。计算。日志。23,第1号,第4条,第36页(2021年;Zbl 1508.68369) 全文: 内政部
Christopher H.Broadbent。;Carayol,阿诺;马修·黑格;安德烈·穆拉夫斯基。;Ong,C.-H.卢克;奥利维尔·塞雷 可折叠的下推平价游戏。 (英语) Zbl 1502.68180号 ACM事务处理。计算。日志。 22,第3条,第16条,第51页(2021年).MSC公司:60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Broadbent}等人,ACM Trans。计算。日志。22,第3号,第16条,51页(2021;Zbl 1502.68180) 全文: 内政部 arXiv公司 哈尔
Carayol,阿诺;奥利维尔·塞雷 在与大自然的游戏中,策略有多好? (英语) Zbl 1446.68084号 ACM事务处理。计算。日志。 21,第3号,第21条,第39页(2020年).MSC公司:68问题55 65年第68季度 91A44型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}和\textit{O.Serre},ACM翻译。计算。日志。21,第3号,第21条,第39页(2020年;Zbl 1446.68084) 全文: 内政部 哈尔
黄晓伟;玛尔塔·奎亚特科夫斯卡;马西耶·奥列尼克 随机多智能体系统中认知信任的推理。 (英语) Zbl 1433.68422号 ACM事务处理。计算。日志。 第20条第4款第21条第64页(2019年).MSC公司:68T27型 03B42型 03B44号 60年第68季度 68T42型 91A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人,ACM Trans。计算。日志。20,第4号,第21条,64页(2019年;Zbl 1433.68422) 全文: 内政部 arXiv公司 链接
丹尼尔·加尔;托姆·吕维思 认知架构ACT-R的操作语义及其到约束处理规则的转换。 (英语) Zbl 1407.68094号 ACM事务处理。计算。日志。 第19条第3款第22条第42页(2018年).MSC公司:68甲19 68问题55 91E10型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gall}和\textit{T.Frühwirth},ACM翻译。计算。日志。19,第3号,第22条,第42页(2018;Zbl 1407.68094) 全文: 内政部 arXiv公司
勒鲁克斯,圣潘;阿诺·保利;Jean-François拉斯金 Minkowski游戏。 (英语) Zbl 1407.91066号 ACM事务处理。计算。日志。 第19条第3款第20条第29页(2018年).MSC公司:91A44型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Le Roux}等人,ACM Trans。计算。日志。19,第3号,第20条,第29页(2018;Zbl 1407.91066) 全文: 内政部 链接
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 交替时间时序逻辑的博弈论语义。 (英语) 兹比尔1407.03030 ACM事务处理。计算。日志。 第19条第3款第17条第38页(2018年).MSC公司:03B44号 68T27型 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,ACM Trans。计算。日志。19,第3号,第17条,第38页(2018;Zbl 1407.03030) 全文: 内政部 arXiv公司 链接
安德烈·普拉泽 差异混合游戏。 (英语) Zbl 1407.91056号 ACM事务处理。计算。日志。 第18条第3款第19条第44页(2017年).MSC公司:91年2月23日 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},ACM事务。计算。日志。18,第3号,第19条,第44页(2017年;Zbl 1407.91056) 全文: 内政部 arXiv公司
安德烈·普拉泽 微分博弈逻辑。 (英语) Zbl 1367.68201号 ACM事务处理。计算。日志。 17,第1号,第1条,第51页(2015年).MSC公司:60年第68季度 03B70号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},ACM事务。计算。日志。17,第1号,第1条,51页(2015;Zbl 1367.68201) 全文: 内政部 arXiv公司
恩里科·马尔基奥尼;迈克尔·伍尔德里奇 Łukasiewicz游戏:基于逻辑的定量战略互动方法。 (英语) Zbl 1367.68289号 ACM事务处理。计算。日志。 第16号第4条第33条第44页(2015年).MSC公司:68T27型 03B50号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.马尔基奥尼}和\textit{M.伍尔德里奇},ACM Trans。计算。日志。16,第4号,第33条,第44页(2015年;Zbl 1367.68289) 全文: 内政部
法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 关于策略的推理:关于模型检查问题。 (英语) Zbl 1354.68178号 ACM事务处理。计算。日志。 第15号第4条第34条第47页(2014年).MSC公司:60年第68季度 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人,ACM Trans。计算。日志。15,第4号,第34条,47页(2014年;Zbl 1354.68178) 全文: 内政部 arXiv公司
阿诺德·贝克曼;帕维尔·普德拉克;尼尔·萨彭 奇偶博弈和命题证明。 (英语) 兹比尔1291.03111 ACM事务处理。计算。日志。 第15号第2条第17条第30页(2014年).MSC公司:20层03 03B35型 91A15型 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}等人,ACM Trans。计算。日志。15,第2号,第17条,第30页(2014;Zbl 1291.03111) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩 部分观察随机博弈,信念失败时如何取胜。 (英语) Zbl 1291.91021号 ACM事务处理。计算。日志。 第15号第2条第16条第44页(2014年).MSC公司:91A15型 2017年第68季度 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen},ACM Trans。计算。日志。15,第2号,第16条,第44页(2014;Zbl 1291.91021) 全文: 内政部
奥拉夫·拜尔斯多夫;尼古拉·加莱西;马西莫·劳里亚 DPLL搜索过程的参数化复杂性。 (英语) 兹比尔1354.68105 ACM事务处理。计算。日志。 第14号第3条第20条第21页(2013年).MSC公司:65年第68季度 20层03 05C69号 2017年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,ACM Trans。计算。日志。14,第3号,第20条,第21页(2013;Zbl 1354.68105) 全文: 内政部 链接
保罗·沙卡里安;马蒂亚斯·布罗切勒;苏布拉曼尼亚,V.S。;克里斯蒂安·莫里纳罗 使用广义注释程序解决社交网络扩散优化问题。 (英语) Zbl 1354.91122号 ACM事务处理。计算。日志。 14,第2号,第10条,40页(2013年).MSC公司:91天30分 68周25 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Shakarian}等人,ACM Trans。计算。日志。14,第2号,第10条,40页(2013;Zbl 1354.91122) 全文: 内政部
史蒂文·肖卡特;杰罗·扬森;德克·弗梅尔 模糊平衡逻辑:在连续领域中的陈述式问题解决。 (英语) Zbl 1351.68270号 ACM事务处理。计算。日志。 第13号第4条第33条第39页(2012年).MSC公司:68T27型 03B52号 68N17号 65年第68季度 68T20型 68层37 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}等人,《美国医学杂志》。计算。日志。13,第4号,第33条,39页(2012年;Zbl 1351.68270) 全文: 内政部
Miner More,萨拉;帕维尔·瑙莫夫 关于协议隐私的合作演算和基于游戏的推理。 (英语) Zbl 1351.68168号 ACM事务处理。计算。日志。 第13号第3条第22条第21页(2012年).MSC公司:60年第68季度 03B70号 68个M12 91A12号机组 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Miner More}和\textit{P.Naumov},ACM Trans。计算。日志。13,第3号,第22条,第21页(2012;Zbl 1351.68168) 全文: 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格(Thomas A.Henzinger)。 定性并行平价游戏。 (英语) Zbl 1351.68179号 ACM事务处理。计算。日志。 第12号第4条第28条第51页(2011年).MSC公司:68问题85 03B44号 65年第68季度 60年第68季度 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《美国医学杂志》。计算。日志。12,第4号,第28条,第51页(2011年;Zbl 1351.68179) 全文: 内政部
德特勒夫·卡勒;拉尔夫·库斯特斯;托马斯·威尔克 确定合同设计协议的策略属性。 (英语) Zbl 1351.94053号 ACM事务处理。计算。日志。 11,第3号,第17条,第42页(2010年).MSC公司:94A60型 91A80型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kähler}等人,ACM Trans。计算。日志。11,第3号,第17条,第42页(2010年;Zbl 1351.94053) 全文: 内政部
安娜贝拉·麦克维尔;卡罗尔·摩根 关于定量演算的结果。 (英语) Zbl 1367.68199号 ACM事务处理。计算。日志。 8,第1号,第3条,43页(2007年).MSC公司:60年第68季度 03B70号 68问题55 第68季度87 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}和\textit{C.Morgan},ACM翻译。计算。日志。8,第1号,第3条,43页(2007年;Zbl 1367.68199) 全文: 内政部
乔治·贾帕里泽 命题可计算逻辑。二、。 (英语) Zbl 1367.03057号 ACM事务处理。计算。日志。 第7期,第2期,331-362页(2006年).MSC公司:03B70号 03楼52 2005年第68季度 2010年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},ACM翻译。计算。日志。7,第2号,331--362(2006;Zbl 1367.03057) 全文: 内政部 arXiv公司
乔治·贾帕里泽 命题可计算逻辑。一、。 (英语) Zbl 1367.03056号 ACM事务处理。计算。日志。 7,第2期,302-330(2006).MSC公司:03B70号 03楼52 2005年第68季度 2010年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},ACM翻译。计算。日志。7,第2号,302-330(2006;Zbl 1367.03056) 全文: 内政部 arXiv公司
拉杰夫·阿鲁尔;萨尔瓦多拉托雷 LTL碎片的确定性生成器和游戏。 (英语) Zbl 1366.03181号 ACM事务处理。计算。日志。 第5期,第1期,第1-25期(2004年).MSC公司:03B44号 05年3月 2017年第68季度 65年第68季度 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{S.La Torre},ACM Trans。计算。日志。5,第1号,1--25(2004;Zbl 1366.03181) 全文: 内政部 链接
文森特·达诺斯;罗素·S·哈默。 概率游戏语义。 (英语) Zbl 1365.68310号 ACM事务处理。计算。日志。 3,第3期,359-382(2002).MSC公司:68问题55 18立方厘米50 68甲15 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{R.S.Harmer},ACM Trans。计算。日志。3,编号3,359-382(2002年;兹bl 1365.68310) 全文: 内政部