×

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

IL的闭合片段为PSPACE硬。 (英语) Zbl 1347.03040号

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

基于GCI和乘积t-范数的模糊描述逻辑的不可判定性。 (英语) Zbl 1348.68236号

Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学讲义6989。人工智能课堂讲稿,55-70(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

共同归纳语言和真理学位。 (英语) 兹伯利1347.03057

Kanazawa,Makoto(编辑)等人,《语言的数学》。2011年9月6日至8日,第12届两年一度的会议,MOL 12,日本奈良。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23210-7/pbk)。计算机科学课堂讲稿6878。《人工智能课堂讲稿》,209-226(2011)。
MSC公司:03B65号 03B50 03B52号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模糊自认知逻辑:反映真度知识。 (英语) Zbl 1341.68238号

Liu,Weiru(编辑),不确定性推理的符号和定量方法。2011年6月29日至7月1日,第11届欧洲会议,ECSQARU 2011,英国贝尔法斯特。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22151-4/pbk)。计算机科学课堂讲稿6717。人工智能课堂讲稿,616-627(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

一阶哥德尔逻辑的多结论演算。 (英语) Zbl 1332.03004号

库利科夫,亚历山大(编辑)等人,《计算机科学——理论与应用》。2011年6月14日至18日在俄罗斯圣彼得堡举行的第六届国际计算机科学研讨会,CSR 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-20711-2/pbk)。计算机科学讲义6651456-469(2011)。
MSC公司:03B50 05年3月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者