劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·塞塞德尔·杜普雷 通过ASP中的有界模型检查实现动作理论验证的完整性。 （英语） Zbl 1328.68127号 J.日志。计算。 25，第6期，1307-1330（2015）.MSC公司：60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，J.Log。计算。25，第6号，1307--1330（2015；Zbl 1328.68127） 全文： 内政部 链接
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 推理多代理域中的操作。 （英语） Zbl 1007.03015号 Esposito，Floriana（编辑），AI*IA 2001：人工智能进展。意大利人工智能协会第七届大会，意大利巴里，2001年9月25日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2175, 237-248 (2001).MSC公司：03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Lect。注释计算。科学。2175237--248（2001年；Zbl 1007.03015） 全文： 链接
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 动态线性时间时序逻辑中的动作推理。 （英语） 兹伯利0979.03015 日志。J.IGPL公司 9，第2期，273-287（2001）. 审核人：贾科莫·博纳诺（戴维斯） MSC公司：03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，日志。J.IGPL 9，第2号，273--287（2001；Zbl 0979.03015） 全文： 内政部 链接