弗朗切斯科·贝拉迪内利;阿莱西奥·洛穆西奥 用于验证多智能体系统中认知属性的三值抽象技术。 （英语） Zbl 1483.68417号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 112-126 (2016).MSC公司：68T42型 03B42号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{A.Lomuscio}，莱克特。注释计算。科学。10021、112-126（2016；Zbl 1483.68417） 全文： 内政部
帕纳吉奥蒂斯·库瓦罗斯;阿莱西奥·洛穆西奥 多智能体系统的参数化验证。 （英语） Zbl 1351.68294号 Artif公司。智力。 234, 152-189 (2016).MSC公司：68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Kouvaros｝和\textit｛A.Lomuscio｝，人工制品。因特尔。234152--189（2016；Zbl 1351.68294） 全文： 内政部 OA许可证