×

找到14份文件(结果1-14)

模型检验概率时间认知逻辑的不确定案例(扩展抽象)。 (英语) 兹比尔1483.68210

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

时间认知逻辑的符号模型检验。 (英语) 兹比尔1356.68144

亚历山大·阿提基斯(编辑)等人,《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-29413-6/pbk)。计算机科学课堂讲稿7360。《人工智能课堂讲稿》,172-195(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限控制过程的认知谓词。 (英语) 兹比尔1347.68225

van Ditmarsch,Hans(ed.)等人,《第七届模态方法研讨会论文集》(M4M’2011)和第四届多智能体系统逻辑方面研讨会论文集(LAMAS’2011),西班牙奥苏纳,2011年11月10日至12日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记278229-243(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

草食协议中检验知识的符号模型。 (英语) Zbl 1327.68037号

范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学课堂讲稿6572。人工智能课堂讲稿,112-129(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进了公平分支时间时间认知逻辑的有界模型检验。 (英语) Zbl 1327.68159号

范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学课堂讲稿6572。人工智能课堂讲稿,95-111(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有群体知识的一阶线性时间认知逻辑:一元片段的公理化。 (英语) Zbl 1246.03036号

Ono,Hirakira(编辑)等人,《逻辑、语言、信息和计算》。2009年6月21日至24日,第16届国际研讨会,WoLLIC 2009,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02260-9/pbk)。计算机科学课堂讲稿5514。人工智能课堂讲稿,140-154(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向模型检验时序认知逻辑的部分降阶。 (英语) Zbl 1226.68043号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段