×

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

最新的 引文 关联
劳拉·佐丹奴;阿尔贝托·马泰利;塞塞迪尔·杜普雷，丹尼尔

使用DLTL的\（\mathcal｛EL｝\）本体论和时态答案集对动作进行推理。 （英语） Zbl 07671891号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，2022年LPNMR，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 231-244 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。注释计算。科学。13416、231--244（2022；Zbl 07671891）
全文： 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;马蒂奥·斯皮奥塔;丹尼尔·塞塞德尔·杜普雷

使用约束时态答案集编程进行业务流程验证。 （英语） Zbl 1298.68174号

理论与实践。日志。程序。 13，No.4-5，641-655（2013）.
审核人：贾纳·科勒（卢塞恩）
MSC公司：60年第68季度 68N17号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，《理论与实践》。日志。程序。13、编号4--5、641--655（2013；Zbl 1298.68174）
全文： 内政部
达维德·达普利;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;阿尔贝托·马泰利;吉安·卢卡（Gian Luca），披萨;塞塞迪尔·杜普雷，丹尼尔

通过推理操作来验证业务流程合规性。 （英语） Zbl 1286.68438号

Dix，Jürgen（编辑）等人，《多智能体系统中的计算逻辑》。第11届国际研讨会，CLIMA XI，葡萄牙里斯本，2010年8月16-17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14976-4/pbk）。计算机科学课堂讲稿6245。人工智能课堂讲稿，99-116（2010）。
MSC公司：第68页第42页 68T27型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.D’Aprile}等人，Lect。注释计算。科学。6245，99-116（2010；Zbl 1286.68438）
全文： 内政部 链接
劳拉·佐丹奴;阿尔贝托·马泰利

验证代理是否符合多方协议。 （英语） 兹比尔1250.68267

Fisher，Michael（编辑）等人，《多智能体系统中的计算逻辑》。第九届国际研讨会，CLIMA IX，德国德累斯顿，2008年9月29日至30日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-02733-8/pbk）。计算机科学5405课堂讲稿。人工智能课堂讲稿，17-36（2009）。
MSC公司：第68页第42页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}和\textit{A.Martelli}，莱克特。注释计算。科学。5405、17-36（2009年；Zbl 1250.68267）
全文： 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德

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

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

验证协议一致性和代理互操作性。 （英语） Zbl 1236.68245号

Toni，Francesca（编辑）等，《多智能体系统中的计算逻辑》。第六届国际研讨会，CLIMA VI，英国伦敦，2005年6月27日至29日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-33996-5/pbk）。计算机科学3900课堂讲稿。人工智能课堂讲稿，265-283（2006）。
MSC公司：第68页第42页 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Baldoni}等人，Lect。注释计算。科学。3900、265--283（2006年；Zbl 1236.68245）
全文： 内政部
马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂;克劳迪奥·希法内拉

验证基于逻辑的通信代理的协议一致性。 （英语） Zbl 1081.68679号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第五届国际研讨会，CLIMA V，葡萄牙里斯本，2004年9月29日至30日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-28060-X/pbk）。计算机科学课堂讲稿3487。人工智能课堂讲稿，196-212（2005）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Baldoni}等人，Lect。注释计算。科学。3487，196--212（2005；Zbl 1081.68679）
全文： 内政部
马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂

推理web服务组合的交互协议。 （英语） Zbl 1271.68067号

Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105，21-36（2004）。
MSC公司：68英里11 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Baldoni}等人，《电子》。注释Theor。计算。科学。105，21-36（2004年；兹bl 1271.68067）
全文： 链接
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德

通过时序动作逻辑中的模型检查来验证通信代理。 （英语） 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）
全文： 内政部
马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂

在基于逻辑的代理语言中推理对话协议。 （英语） 兹比尔1274.68452

Cappelli，Amedeo（编辑）等人，AI*IA 2003：人工智能进展。意大利人工智能协会第八届大会，意大利比萨，2003年9月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20119-X/pbk）。莱克特。注释计算。科学。2829, 300-311 (2003).
MSC公司：68T27型 第68页第42页
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）。莱克特。注释计算。科学。2829, 262-274 (2003).
MSC公司：第68页第42页 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。注释计算。科学。2829262--274（2003年；Zbl 1274.68580）
全文： 内政部
马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂

关于自我和他人的推理：在模态动作逻辑中交流代理。 （英语） Zbl 1257.68132号

卡洛·布兰多（编辑）等人，《理论计算机科学》。第八届意大利会议，2003年ICTCS，意大利贝蒂诺罗，2003年10月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20216-1/pbk）。莱克特。注释计算。科学。2841, 228-241 (2003).
MSC公司：68T27型 03B45号 第68页第42页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baldoni}等人，Lect。注释计算。科学。2841、228--241（2003年；Zbl 1257.68132）
全文： 内政部
马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利;维维亚娜·帕蒂

用不完全知识推理复杂动作：模态方法。 （英语） 兹比尔1042.68027

安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 405-425 (2001).
MSC公司：68N17号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baldoni}等人，Lect。注释计算。科学。2202405--425（2001；Zbl 1042.68027）
全文： 链接
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德

推理多代理域中的操作。 （英语） 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 0901.03020号

de Swart，Harrie（编辑），用分析表和相关方法进行自动推理。1998年5月5日至8日，荷兰Oisterwijk，1998年TABLEAUX国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1397, 44-59 (1998).
MSC公司：03B45号 03B25号 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Baldoni}等人，Lect。注释计算。科学。1397、44-59（1998；Zbl 0901.03020）
佐丹奴，L。;A.马泰利。;萨皮诺，M.L。

条件逻辑程序设计的一种溯源证明过程。 （英语） Zbl 1419.68118号

Gabbay，Dov M.（编辑）等人，《实践推理》。正式和应用实用推理国际会议，FAPR’96，德国波恩，1996年6月3日至7日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 231-245 (1996).
MSC公司：68T27型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。注释计算。科学。1085、231--245（1996年；Zbl 1419.68118）
全文： 内政部
D.加巴伊。;佐丹奴，L。;A.马泰利。;奥利维蒂，N。

逻辑编程语言中假设的更新、优先级和不一致性。 （英语） Zbl 1496.68316号

Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三次国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26日至28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 203-216 (1995).
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Gabbay}等人，Lect。注释计算。科学。928203-216（1995年；Zbl 1496.68316）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件