×

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

局部属性的简单公理。 (英语) Zbl 07810607号

Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37982-92(2023年)。
MSC公司:03年XX月
PDF格式BibTeX公司 XML格式引用

全球和本地公告的逻辑。 (英语) Zbl 1483.03005号

Lang,Jéróme(编辑),《第十六届理性与知识理论方面会议论文集》,TARK 2017,英国利物浦,2017年7月24-26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)251,28-42(2017)。
MSC公司:03B42型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

半公共环境中的知识和行动。 (英语) Zbl 1298.03082号

van Ditmarsch,Hans(编辑)等人,《逻辑、理性与互动》。2011年10月10日至13日,第三次国际研讨会,LORI 2011,中国广州。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24129-1/pbk)。计算机科学课堂讲稿6953。人工智能课堂讲稿,97-110(2011)。
MSC公司:03B60号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查战略平衡。 (英语) Zbl 1226.68044号

Peled,Doron A.(编辑)等人,《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-00430-8/pbk)。计算机科学课堂讲稿5348。人工智能课堂讲稿,166-188(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

规范系统的时间逻辑。 (英语) Zbl 1156.03017号

戴维·梅金森(编辑)等人,《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林:施普林格出版社(ISBN 978-1-4020-9083-7/hbk;978-1-4020-9084-4/电子书)。逻辑趋势——Studia Logica Library 28,69-106(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

目标代理实例化意图逻辑。 (英语) Zbl 1178.68563号

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

通过通信进行修订。 (英语) Zbl 1496.68328号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段