×

找到16个文档(结果1-16)

多智能体认知规划求解器的设计。 (英语) Zbl 07453144号

Bogaerts,Bart(ed.)等人,《第35届逻辑编程(技术通信)国际会议论文集》,2019年ICLP,美国拉斯克鲁塞斯,2019月20日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)306403-412(2019)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关联知识与协调行动:先决条件原则的知识。 (英语) Zbl 1483.68423号

Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215231-245(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

动作模型的可组合语言。 (英语) 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格式引用
全文: arXiv公司

任意动作模型逻辑和动作模型综合。 (英语) Zbl 1366.68289号

2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。253-262 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多智能体知识和信念的量化逻辑的细化。 (英语) Zbl 1301.03019号

托马斯·博兰德(编辑)等人,《模态逻辑的进展》。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:学院出版物(ISBN 978-1-84890-068-4/pbk)。317-338 (2012).
PDF格式BibTeX公司 XML格式引用

一起,有什么可能吗?看看代理人的集体承诺。 (英语) 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格式引用
全文: 内政部

使用答案集规划在多智能体动作语言中实现可逆过程。 (英语) Zbl 1361.68246号

Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第十三届国际研讨会,CLIMA XIII,法国蒙彼利埃,2012年8月27日至28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32896-1/pbk)。计算机科学课堂讲稿7486。《人工智能课堂讲稿》,163-180(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份