×

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

禁止不受欢迎的协议:基于依赖性的多代理系统监管方法。 (英语) Zbl 1250.68247号

Guido Governatori等人,《计算机科学中的道义逻辑》。2010年7月7日至9日,第十届国际会议,DEON 2010,意大利菲索。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14182-9/pbk)。计算机科学6181课堂讲稿。人工智能课堂讲稿,306-322(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

战略能力更新操作员。 (英语) Zbl 1196.03025号

何向东(主编)等,《逻辑、理性与互动》。第二次国际研讨会,LORI 2009,中国重庆,2009年10月8-11日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04892-0/pbk)。计算机科学课程讲稿5834。《人工智能课堂讲稿》,292-301(2009)。
MSC公司:03B42号 91年12月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

agent和多agent系统的知识表示。2008年9月17日,第一次国际研讨会,KRAMAS 2008,澳大利亚悉尼。修订了选定的论文。 (英语) Zbl 1175.68017号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-05300-9/pbk)。vii,161页。(2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

封闭世界互动的逻辑。 (英语) Zbl 1178.68555号

Hölldobler,Steffen(编辑)等人,《人工智能中的逻辑》。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87802-5/pbk)。计算机科学讲义5293。人工智能课堂讲稿,89-99(2008)。
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

社会最优规范的道义逻辑。 (英语) Zbl 1143.03337号

范德梅登,罗恩(编辑)等,《计算机科学中的道义逻辑》。第九届国际会议,DEON 2008,卢森堡,卢森堡,2008年7月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70524-6/pbk)。计算机科学课堂讲稿5076。人工智能课堂讲稿,218-232(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

设计截止日期的道义逻辑。 (英语) Zbl 1169.03334号

Lomuscio,Alessio(编辑)等人,《计算机科学中的道义逻辑》。第七届计算机科学道义逻辑国际研讨会,2004年DEON,2004年5月26日至28日,葡萄牙马德拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22111-5/pbk)。计算机科学课程讲稿3065。人工智能课堂讲稿,43-56(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

命题动态逻辑中持久性的语义。 (英语) Zbl 0983.03021号

Lloyd,John(编辑)等人,计算逻辑-CL 2000。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 912-925 (2000).
MSC公司:03B70号 68问题55
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段