佐丹奴，劳拉;阿尔贝托·马泰利;卡米拉·施温德 在时序动作逻辑中指定和验证通信代理的系统。 （英语） Zbl 1274.68580号 Cappelli，Amedeo（编辑）等人，AI*IA 2003：人工智能进展。意大利人工智能协会第八届大会，意大利比萨，2003年9月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20119-X/pbk）。莱克特。注释计算。科学。2829, 262-274 (2003).MSC公司：第68页第42页 03B44型 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{L.Giordano}等人，Lect。注释计算。科学。2829262--274（2003年；Zbl 1274.68580） 全文： 内政部
佐丹奴，劳拉;阿尔贝托·马泰利;卡米拉·施温德 关于多代理领域中的动作的推理。 （英语） Zbl 1007.03015号 Esposito，Floriana（编辑），AI*IA 2001：人工智能进展。意大利人工智能协会第七届大会，意大利巴里，2001年9月25日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2175, 237-248 (2001).MSC公司：03B44型 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{L.Giordano}等人，Lect。注释计算。科学。2175237--248（2001年；Zbl 1007.03015） 全文： 链接