马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 在基于逻辑的代理语言中推理对话协议。 （英语） Zbl 1274.68452号 Cappelli，Amedeo（编辑）等人，AI*IA 2003：人工智能进展。意大利人工智能协会第八届大会，意大利比萨，2003年9月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20119-X/pbk）。莱克特。注释计算。科学。2829, 300-311 (2003).MSC公司：68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baldoni}等人，Lect。注释计算。科学。2829300-311（2003年；Zbl 1274.68452） 全文： 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 在时序动作逻辑中指定和验证通信代理的系统。 （英语） Zbl 1274.68580号 Cappelli，Amedeo（编辑）等人，AI*IA 2003：人工智能进展。意大利人工智能协会第八届大会，意大利比萨，2003年9月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20119-X/pbk）。莱克特。注释计算。科学。第2829262-274页（2003年）。MSC公司：68T42型 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Lect。注释计算。科学。2829262--274（2003年；Zbl 1274.68580） 全文： 内政部
马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 关于自我和他人的推理：在模态动作逻辑中交流代理。 （英语） Zbl 1257.68132号 卡洛·布兰多（编辑）等人，《理论计算机科学》。2003年10月13日至15日，意大利贝尔蒂诺罗，第八届意大利会议，ICTCS2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20216-1/pbk）。莱克特。注释计算。科学。2841, 228-241 (2003).MSC公司：68T27型 03B45号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baldoni}等人，Lect。注释计算。科学。2841、228--241（2003年；Zbl 1257.68132） 全文： 内政部