劳拉·佐丹奴;阿尔贝托·马特利;卡米拉·施温德 推理多代理域中的操作。 (英语) 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) 全文: 链接
佐丹奴,劳拉;阿尔贝托·马泰利;卡米拉·施温德 关于动态线性时间-时间逻辑中的动作的推理。 (英语) Zbl 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) 全文: DOI程序 链接