×

找到20个文档(结果1–20)

通过基于假设的论证在网上进行推理。 (英语) Zbl 1251.68229号

托马斯·艾特(编辑)等人,《推理网络》。高级查询应答的语义技术。2012年9月3日至8日,奥地利维也纳,第八届国际暑期学校。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33157-2/pbk)。计算机科学课堂讲稿7487,370-386(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于合同例外情况的推理。 (英语) 兹比尔1348.68259

Leite,Joáo(编辑)等人,《多智能体系统中的计算逻辑》。第十二届国际研讨会,CLIMA XII,西班牙巴塞罗那,2011年7月17日至18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22358-7/pbk)。计算机科学课堂讲稿6814。《人工智能讲义》,225-242(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于假设的服务选择和组合论证。 (英语) Zbl 1175.68467号

Sadri,Fariba(编辑)等人,《多智能体系统中的计算逻辑》。第八届国际研讨会,CLIMA VIII,葡萄牙波尔图,2007年9月10日至11日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-88832-1/pbk)。计算机科学课堂讲稿5056。人工智能课堂讲稿,231-247(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无冲突规范主体的偏好和基于假设的论证。 (英语) Zbl 1135.68583号

Rahwan,Iyad(编辑)等人,《多智能体系统中的论证》。2007年5月15日于美国夏威夷州火奴鲁鲁市举行的第四届国际研讨会,ArgMAS 2007。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-78914-7/pbk)。计算机科学课堂讲稿4946。人工智能课堂讲稿,94-113(2008)。
MSC公司:68吨99
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算可接受语义。 (英语) Zbl 1496.68325号

Marek,V.W.(编辑)等人,《逻辑编程与非单调推理》。第三届国际会议,LPNMR’95,美国肯塔基州列克星敦,1995年6月26-28日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。第928、401-415页(1995年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段