姜桂飞;张东墨;劳伦特·佩鲁塞尔;张恒 认识GDL:一种描述和推理不完美信息游戏的逻辑。 (英语) Zbl 1519.68252号 Artif公司。智力。 294,文章ID 103453,22 p.(2021).MSC公司:第68页第27页 65年第68季度 60年第68季度 68立方英尺 91A27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jiang}等人,Artif。智力。294,文章ID 103453,22 p.(2021;Zbl 1519.68252) 全文: 内政部 哈尔
弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥;阿尼埃洛·穆拉诺;萨沙·鲁宾 针对策略逻辑,验证具有公共操作的多代理系统。 (英语) 兹比尔1451.68290 Artif公司。智力。 285,文章ID 103302,28 p.(2020).MSC公司:68T42型 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,Artif。智力。285,文章ID 103302,28 p.(2020;Zbl 1451.68290) 全文: 内政部 链接
帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) Zbl 1484.68100号 理论计算。系统。 64,第3期,467-507(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,理论计算。系统。64,第3号,467--507(2020;Zbl 1484.68100) 全文: 内政部 链接