摘要
S.Aguzzoli、S.Bova和B.Gerla。 2011.模糊逻辑的自由代数和函数表示。 《数学模糊逻辑手册》第二卷，P.Cintula、P.Hájek和C.Noguera（编辑），学院出版物，713-792。 谷歌学者 
S.Aguzzoli和D.Mundici。 2003.Weierstrass近似定理和带有一个量化变量的Lukasiewicz公式。 《超越二：多值逻辑的理论与应用》，M.Fitting等人（编辑），Springer-Verlag，柏林，315-335。 谷歌学者 数字图书馆 
R.Alur和T.A.Henzinger。 1999.无功模块。 系统设计中的形式化方法15，11（1999），7-48。 谷歌学者 数字图书馆 P.阿马托和M.波尔图。 2000.自动生成表示控制律的逻辑公式的算法。 神经网络世界10（2000），777--786。 谷歌学者 S.P.Anderson、J.K.Goereeb和C.A.Holt。 2001.最小努力协调博弈：随机势和logit均衡。 游戏与经济行为34，2（2001），177--199。 谷歌学者 交叉引用 
S.Arora和B.Barak。 2009年，计算复杂性。 现代方法。 剑桥大学出版社。 谷歌学者 数字图书馆 M.Baaz和H.Veith。 1999.模糊逻辑中的量词消除。 《计算机科学逻辑》，《计算机科学讲义》，第1584卷，柏林施普林格-弗拉格出版社，399-414页。 谷歌学者 数字图书馆 K.巴苏。 1994.旅行者的困境：博弈论中的理性悖论。 《美国经济评论》84，2（1994），391-395。 谷歌学者 E.Bonzon、M.-C.Lagasquie-Schiex、J.Lang和B.Zanuttini。 2006年，重新审视布尔游戏。 第17届欧洲人工智能会议论文集（ECAI-2006）。 谷歌学者 数字图书馆 E.Bonzon、M.-C.Lagasquie-Schiex、J.Lang和B.Zanuttini。 2006.紧凑偏好表示和布尔游戏。 收录于《PRICAI 2006：人工智能趋势》，《计算机科学讲义》，第4099卷，柏林斯普林格-弗拉格出版社，41-50页。 谷歌学者 数字图书馆 C.Boutiler、R.Brafman、C.Domshlak、H.Hoos和D.Poole。 2004.CP-nets：一种用条件Ceteris Paribus偏好语句表示和推理的工具。 《人工智能研究杂志》第21期（2004年），135-191页。 谷歌学者 数字图书馆 A.R.Bradley和Z.Manna。 2007年，《计算微积分》。 柏林斯普林格·弗拉格。 谷歌学者 N.Bulling和V.Goranko。 2013.如何既富有又快乐：关于多层游戏的定量和定性战略推理相结合。 《理论计算机科学电子论文集》112（2013），33-41。 谷歌学者 交叉引用 X.凯塞多。 2007.DMV-代数和Łukasiewicz逻辑连接词中的隐式运算。 在非经典逻辑的代数和证明理论方面，S.Aguzzoli、A.Ciabattoni、B.Gerla、C.Manara和V.Marra（编辑），《计算机科学讲义》，第4460卷，Springer-Verlag，柏林，50-68。 谷歌学者 数字图书馆 R.Cignoli、I.M.L.D’Ottaviano和D.Mundici。 2000.多值推理的代数基础（逻辑趋势第7卷）。 荷兰多德雷赫特Kluwer学术出版社。 谷歌学者 M.De Vos和D.Vermeir。 1999.战略博弈中的选择逻辑程序和纳什均衡。 《计算机科学逻辑》，计算机科学讲义，第1683卷，柏林斯普林格，266-276。 谷歌学者 数字图书馆 A.Di Nola和I.Leustean。 2011.Łukasiewicz逻辑和DMV-代数。 《数学模糊逻辑手册》第二卷，P.Cintula、P.Hájek和C.Noguera（编辑），学院出版物，469-584。 谷歌学者 P.E.Dunne、S.Kraus、W.van der Hoek和M.Wooldridge。 2008.合作布尔游戏。 在第七届国际自治代理和多代理系统联合会议（AAMAS-2008）的会议记录中。 谷歌学者 数字图书馆 F.Esteva、L.Godo和E.Marchioni。 2011.语言丰富的模糊逻辑。 《数学模糊逻辑手册》第二卷，P.Cintula、P.Hájek和C.Noguera（编辑），学院出版物，627-712。 谷歌学者 J.Ferrante和C.Rackoff。 1975年。一阶有序实加法理论的判定程序。 SIAM计算机杂志4，1（1975），69--76。 谷歌学者 交叉引用 B.杰拉。 2001.连续t-范数的多值逻辑及其函数表示。 意大利米兰大学博士论文。 谷歌学者 M.Ghallab、D.Nau和P.Traverso。 2004年，自动化规划。 摩根·考夫曼。 谷歌学者 数字图书馆 J.Grant、S.Kraus、M.Wooldridge和I.Zuckerman。 2011.通过通信操纵布尔游戏。 第22届国际人工智能联合会议（IJCAI-11）会议记录。 谷歌学者 数字图书馆 P.Hájek。 1998年，《模糊逻辑的元数学》（逻辑趋势第4卷）。 Kluwer学术出版社，荷兰多德雷赫特。 谷歌学者 P.Harrenstein、W.van der Hoek、J.-J.Ch.Meyer和C.Witteveen。 2001.布尔游戏。 在《第八届理性与知识理论方面会议记录》（TARK VIII）中，J.van Benthem（Ed.），287-298。 谷歌学者 数字图书馆 W·霍奇斯。 1993年，《数学及其应用百科全书》第42卷，模型理论。 剑桥大学出版社。 谷歌学者 T.Kroupa和O.Majer。 2014.使用McNaughton函数进行最优战略推理。 《国际近似推理杂志》55，6（2014），1458-1468。 谷歌学者 交叉引用 G.伦齐和E.马尔基奥尼。 2014.o-极小和弱o-极小MV-chains的代数特征。 《纯粹与应用代数杂志》218（2014），90-100。 谷歌学者 交叉引用 V.Levit、T.Grinshpoun和A.Meisels。 2013年a。 电动汽车充电的布尔游戏。 2013年IEEE/WIC/ACM网络智能（WI）和智能代理技术（IAT）国际联合会议论文集。 谷歌学者 数字图书馆 V.Levit、T.Grinshpoun、A.Meisels和A.Bazzan。 2013年b。 布尔游戏中的税务搜索。 在第12届国际自治代理和多代理系统会议（AAMAS’13）的会议记录中。 谷歌学者 数字图书馆 E.马尔基奥尼和M.伍尔德里奇。 2014.Łukasiewicz游戏。 《第13届自主代理和多代理系统国际会议论文集》（AAMAS’14）。 第837-844页。 谷歌学者 数字图书馆 M.Maschler、E.Solan和S.Zamir。 2013.博弈论。 剑桥大学出版社。 谷歌学者 M.Mavronicolas、B.Monien和K.W.Wagner。 2007.加权布尔公式游戏。 互联网和网络经济学，计算机科学讲义。 第4858卷，施普林格，柏林，469-481。 谷歌学者 数字图书馆 R.麦克诺顿。 1951.关于无限值句子逻辑的一个定理。 《符号逻辑杂志》12，1（1951），1-13。 谷歌学者 交叉引用 F.Montagna和G.Panti。 2001.向MV-代数添加结构。 《纯粹与应用代数杂志》164（2001），365-387。 谷歌学者 交叉引用 D.蒙迪奇。 无穷值逻辑中麦克诺顿定理的构造性证明。 符号逻辑杂志59，2（1994），596-602。 谷歌学者 数字图书馆 D.蒙迪奇。 2011.高级Łukasiewicz微积分和MV-代数（逻辑趋势第35卷）。 施普林格，荷兰。 谷歌学者 H.Nikaidó和K.Isoda。 1955.关于非合作凸对策的注记。 太平洋数学杂志5，5（1955），807--815。 谷歌学者 交叉引用 N.Nisan、T.Roughgarden、E.Tardos和V.V.Vazirani。 2007.算法博弈论。 剑桥大学出版社。 谷歌学者 数字图书馆 M.J.Osborne和A.Rubinstein。 1994年，博弈论课程。 麻省理工学院出版社。 谷歌学者 S.Parsons、J.A.Rodríguez-Aguilar和M.Klein。 2011年，拍卖和投标：计算机科学家指南。 ACM计算调查43，2，第10条（2011年）。 谷歌学者 数字图书馆 J.Pavelka。 1979.关于模糊逻辑I、II、III。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25（1979），45-52，119-134，447-464。 谷歌学者 交叉引用 S.Schockaert、J.Janssen、D.Vermeir和M.De Cock。 2009.模糊均衡逻辑中的答案集。 《网络推理和规则系统》，计算机科学讲义，第5837卷，柏林斯普林格，135-149。 谷歌学者 数字图书馆 S.Schockaert、J.Janssen和D.Vermeir。 2012.模糊均衡逻辑：在连续域中解决声明性问题。 《ACM计算逻辑交易》第13、4条第33条。 谷歌学者 数字图书馆 J.R.Stallings 1967年。 多面体拓扑讲座。 印度孟买塔塔基础研究所。 谷歌学者 J.van Benthem。 2014.游戏中的逻辑。 麻省理工学院出版社。 谷歌学者 数字图书馆 J.B.Van Huyck、R.C.Battalio和R.O.Beil，1990年。 隐性协调博弈、战略不确定性和协调失败。 《美国经济评论》80，1（1990），234-248。 谷歌学者 M.Wooldridge、U.Endriss、S.Kraus和J.Lang.，2013年。 布尔博弈的激励工程。 《人工智能》195（2013），418--439。 谷歌学者 数字图书馆
建议
走向易驾驭的布尔对策 AAMAS’12：第11届自主代理和多代理系统国际会议记录-第2卷 布尔游戏是基于命题逻辑的一类紧凑而富有表现力的游戏。 然而，布尔博弈在计算上很复杂：在布尔博弈中检查纯纳什均衡的存在性是∑ 第页 / 2 -完成，并且它是联合NP完成的。。。
