×

找到7个文档（结果1-7）

最新的 引文 关联
佐丹奴，劳拉;阿尔贝托·马泰利;卡米拉·施温德

时间动作逻辑中交互协议的专门化。 （英语） Zbl 1273.68374号

van der Hoek，Wiebe（编辑）等人，《第三届多智能体系统逻辑与通信国际研讨会论文集》（LCMAS 2005），英国爱丁堡，2005年8月1日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》157，第4期，3-22页（2006年）。
MSC公司：68T27型 03B44号 60年第68季度 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，《电子》。注释Theor。计算。科学。157，第4号，第3--22号（2006年；Zbl 1273.68374）
全文： 链接
佐丹奴，劳拉;阿尔贝托·马泰利;卡米拉·施温德

通过时序动作逻辑中的模型检查来验证通信代理。 （英语） Zbl 1111.68677号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学课堂讲稿3229。人工智能课堂讲稿，57-69（2004）。
MSC公司：68T27型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。注释计算。科学。3229、57--69（2004年；Zbl 1111.68677）
全文： 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德

在时序动作逻辑中指定和验证通信代理的系统。 （英语） 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 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）
全文： 链接

筛选结果依据…

文档类型

作者

序列号

全部的 前5名

出版年份

主字段

软件