恩里科·马尔基奥尼;迈克尔·伍尔德里奇 Ł用于合作游戏的ukasiewicz逻辑。 (英语) Zbl 1482.91012号 Artif公司。智力。 275, 252-278 (2019).MSC公司:91A12号机组 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{E.马尔基奥尼}和\textit{M.伍尔德里奇},阿蒂夫。智力。275252-278(2019年;Zbl 1482.91012) 全文: 内政部 链接
索菲·德·克莱克;史蒂文·肖卡特;现在,安;德科克,玛蒂娜 使用可能性逻辑对布尔博弈中的不完全信息进行建模。 (英语) Zbl 1452.68184号 国际J近似推理 93, 1-23 (2018).MSC公司:68T27型 68层37 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{S.De Clercq}等人,《国际近似推理》93,1--23(2018;Zbl 1452.68184) 全文: 内政部 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应模块。 (英语) Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接