弗朗西斯科·法比亚诺 多智能体认知规划求解器的设计。 (英语) Zbl 07453144号 Bogaerts,Bart(ed.)等人,《第35届逻辑编程(技术通信)国际会议论文集》,2019年ICLP,美国拉斯克鲁塞斯,2019月20日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)306403-412(2019)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fabiano},电子。程序。西奥。计算。科学。(EPTCS)306403-412(2019;Zbl 07453144) 全文: arXiv公司 链接
摩西,约拉姆 关联知识与协调行动:先决条件原则的知识。 (英语) Zbl 1483.68423号 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215231-245(2016)。MSC公司:68T42型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moses},电子。程序。西奥。计算。科学。(EPTCS)215231--245(2016;Zbl 1483.68423) 全文: arXiv公司 链接
瓦夏克·贝勒;Hector J.列夫斯克。 本地化的逻辑理论。 (英语) Zbl 1371.03040号 螺柱日志。 104,第4号,741-772(2016). 审核人:海因里希·万辛(波鸿) MSC公司:03B70号 03B42号 68T27型 68立方英尺 68T40型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{V.Belle}和\textit{H.J.Levesque},Stud.Log。104、4号、741--772(2016;Zbl 1371.03040) 全文: 内政部 链接
法语,蒂姆;詹姆斯·黑尔斯;埃德温·泰伊 动作模型的可组合语言。 (英语) Zbl 1385.03007号 Goré,Rajeev(编辑)等人,《模态逻辑的进展》。第10卷。第十届会议记录(AiML 2014),荷兰格罗宁根,2014年8月5日至8日。伦敦:学院出版物(ISBN 978-1-84890-151-3/pbk)。197-216 (2014).MSC公司:03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.French}等人,in:模态逻辑的进展。第10卷。第十届会议记录(AiML 2014),荷兰格罗宁根,2014年8月5-8日。伦敦:学院出版物。197-216(2014;Zbl 1385.03007) 全文: arXiv公司
詹姆斯·黑尔斯 任意动作模型逻辑和动作模型综合。 (英语) Zbl 1366.68289号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。253-262 (2013).MSC公司:68T27型 03B42号 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hales},in:2013年6月25日至28日美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。253--262(2013年;Zbl 1366.68289) 全文: 内政部
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 自治代理协调:动作语言满足CLP((mathcal{FD}))和Linda。 (英语) Zbl 1267.68079号 理论与实践。日志。程序。 第2149-173号第13页(2013年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人,《理论与实践》。日志。程序。13,第2号,149--173(2013;Zbl 1267.68079) 全文: 内政部 arXiv公司
詹姆斯·黑尔斯;法语,蒂姆;罗文·戴维斯 多智能体知识和信念的量化逻辑的细化。 (英语) Zbl 1301.03019号 托马斯·博兰德(编辑)等人,《模态逻辑的进展》。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:学院出版物(ISBN 978-1-84890-068-4/pbk)。317-338 (2012).MSC公司:03B42号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hales}等人,in:模态逻辑的进展。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:学院出版物。317--338(2012;Zbl 1301.03019)
本·赖特 一起,有什么可能吗?看看代理人的集体承诺。 (英语) Zbl 1281.68214号 Dovier,Agostino(编辑)等人,第28届逻辑编程国际会议的技术交流(ICLP 2012),2012年9月4日至8日,匈牙利布达佩斯。论文基于会议上的陈述。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-43-9)。LIPIcs–莱布尼茨国际信息学会议录17,476-480,仅电子版(2012年)。MSC公司:68T42型 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{B.Wright},LIPIcs——莱布尼茨国际程序。通知。17476-480(2012年;兹比尔1281.68214) 全文: 内政部
本·赖特;恩里科·蓬泰利;儿子Tran Cao 使用答案集规划在多智能体动作语言中实现可逆过程。 (英语) Zbl 1361.68246号 Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第十三届国际研讨会,CLIMA XIII,法国蒙彼利埃,2012年8月27日至28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32896-1/pbk)。计算机科学课堂讲稿7486。《人工智能课堂讲稿》,163-180(2012)。MSC公司:68T27型 68N17号 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{B.Wright}等人,Lect。注释计算。科学。7486163-180(2012年;Zbl 1361.68246) 全文: 内政部
弗吉尼亚州迪格纳姆;弗兰克,迪格纳姆 代理组织的逻辑。 (英语) Zbl 1280.68262号 日志。J.IGPL公司 第1283-316号第20页(2012年).MSC公司:68T42型 03B44号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Dignum}和\textit{F.Dignum},日志。J.IGPL 20,第1期,283--316(2012;Zbl 1280.68262) 全文: 内政部 arXiv公司
范·艾伊克(Jan van Eijck);Sietsma,地板;王燕京 组合模型。 (英语) Zbl 1242.03043号 J.应用。非类别。日志。 21,编号3-4,397-425(2011).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck}等人,J.Appl。非类别。日志。21,编号3--4,397--425(2011;Zbl 1242.03043) 全文: 内政部
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利 CLP中多智能体规划的研究。 (英语) Zbl 1209.68559号 芬丹。通知。 105,编号1-2,79-103(2010).MSC公司:68T42型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人,Fundam。通知。105,编号1--2,79-103(2010年;Zbl 1209.68559) 全文: 内政部
亚历山大·阿提基斯;马雷克·塞尔戈特 开放多智能体系统的可执行规范。 (英语) Zbl 1197.68081号 日志。J.IGPL公司 18,第1期,31-65(2010).MSC公司:68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}和\textit{M.Sergot},日志。J.IGPL 18,第1期,第31--65页(2010年;Zbl 1197.68081) 全文: 内政部
亚历山大·阿提基斯;马雷克·塞尔戈特;杰瑞米·皮特 正式论证协议的可执行规范。 (英语) Zbl 1168.68557号 Artif公司。智力。 171,编号10-15,776-804(2007).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}等人,Artif。智力。171,编号10--15,776--804(2007;Zbl 1168.68557) 全文: 内政部
普尔,大卫 在不确定性下建模多个代理的独立选择逻辑。 (英语) Zbl 0902.03017号 Artif公司。智力。 94,第1-2、7-56号(1997年).MSC公司:03B80号 91A05级 91A35型 68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Poole},Artif(艺术)。智力。94,编号1--2,7-56(1997;Zbl 0902.03017) 全文: 内政部
迈克尔·马苏奇;黄志生 逻辑解构的个案研究:J.D.汤普森的形式化行动中的组织在多智能体动作逻辑中。 (英语) Zbl 0876.03016号 计算。数学。器官。理论 2,第2号,71-113(1996).MSC公司:03B80号 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Masuch}和\textit{Z.Huang},计算。数学。器官。理论2,No.2,71--113(1996;Zbl 0876.03016) 全文: 内政部