×

找到121个文档(结果1-100)

关于义务。 (英语) Zbl 1487.68064号

de Capitani di Vimercati,Sabrina(编辑)等人,《计算机安全——ESORICS 2005》。第十届欧洲计算机安全研究研讨会,意大利米兰,2005年9月12-14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。3679, 98-117 (2005).
MSC公司:68平方米25 03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱点的拓扑特征。 (英语) Zbl 1314.68182号

2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。1-8 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查向下模拟。 (英语) Zbl 1276.68106号

Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》137,第2期,205-224(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

论认识的时间战略逻辑。 (英语) Zbl 1272.68384号

van der Hoek,Wiebe(编辑)等人,《第二届多智能体系统逻辑与通信国际研讨会论文集》,LCMAS,法国南希,2004年8月16日至20日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记126,77-92(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用分布式时态逻辑对安全协议进行元推理。 (英语) Zbl 1272.68051号

Armando,A.(ed.)等人,《安全协议分析自动推理研讨会论文集》(ARSPA 2004),爱尔兰科克,2004年7月4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记125,第1期,67-89(2005)。
MSC公司:68个M12 03B44号
PDF格式BibTeX公司 XML格式引用
全文: 链接

游戏结束:LTL可满足性和模型检查的焦点方法。 (英语) Zbl 1272.68239号

de Alfaro,L.(编辑),《游戏设计与验证研讨会论文集》(GDV 2004),美国马萨诸塞州波士顿,2004年6月18日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》119,第1期,33-49(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用Maude模型检查器验证VLRL动作属性。 (英语) 兹比尔1272.68195

Martí-Oliet,N.(编辑),第五届重写逻辑及其应用国际研讨会论文集(WRLA 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记117113-133(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于约束半环的定量微积分和CTL。 (英语) 兹比尔1272.68269

Cerone,A.(ed.)等人,《编程语言定量方面第二次研讨会论文集》(QAPL 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记112,37-59(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过标记分区(PartLib库)对周期性时间概念进行建模。 (英语) Zbl 1221.68241号

阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦:学院出版物(ISBN 1-904987-12-5/pbk;1-904987-26-5/hbk)。《致敬》2453-497(2005)。
MSC公司:68层35 68第05页
PDF格式BibTeX公司 XML格式引用

分离——过去、现在和未来。 (英语) Zbl 1272.03091号

阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦:学院出版物(ISBN 1-904987-12-5/pbk;1-904987-26-5/hbk)。《致敬》2,117-142(2005)。
MSC公司:03B44号
PDF格式BibTeX公司 XML格式引用

神经符号系统和非经典推理案例。 (英语) Zbl 1219.68137号

阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦:学院出版物(ISBN 1-904987-11-7/pbk;1-904987-25-7/hbk)。《致敬》1469-488(2005)。
PDF格式BibTeX公司 XML格式引用

逻辑和游戏中的开放问题。 (英语) Zbl 1279.03059号

阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦:学院出版物(ISBN 1-904987-11-7/pbk;1-904987-25-7/hbk)。《致敬》1,229-264(2005)。
PDF格式BibTeX公司 XML格式引用

演化系统建模:时序逻辑视图。 (英语) Zbl 1219.68113号

阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦:学院出版物(ISBN 1-904987-11-7/pbk;1-904987-25-7/hbk)。《致敬》1195-228(2005)。
PDF格式BibTeX公司 XML格式引用

LTL中的自动机构建概念。 (英语) Zbl 1143.68436号

Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835728-742(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于预期推理的预期代理人。 (英语) Zbl 1132.68741号

Hacid,Mohand Said(编辑)等人,《智能系统基础》。2005年5月25日至28日在美国纽约州萨拉托加斯普林斯举行的第15届ISMIS 2005国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-25878-0/pbk)。计算机科学课堂讲稿3488。人工智能课堂讲稿,445-455(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL系统修改的逻辑方法。 (英语) Zbl 1132.68728号

Hacid,Mohand-Said(编辑)等人,《智能系统基础》。2005年5月25日至28日在美国纽约州萨拉托加斯普林斯举行的第15届ISMIS 2005国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-25878-0/pbk)。计算机科学课堂讲稿3488。人工智能课堂讲稿,435-444(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分支时间规范的状态/事件软件验证。 (英语) 兹比尔1137.68432

Romijn,Judi(编辑)等人,《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。计算机科学课堂讲稿3771,53-69(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序验证的游戏方面。 (英语。俄文原件) Zbl 1126.68482号

J.计算。系统。科学。国际。 44,第5期,706-711(2005); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2005年,第5期,40-45(2005)。
PDF格式BibTeX公司 XML格式引用

时间逻辑规范的组成。具有分布式动作时序逻辑的系统的规范和验证。(时间逻辑专家Spezifikationen。分布式动作的时间逻辑系统的Spezifikation和Verifikation。) (德语) Zbl 1111.68074号

哥廷根:库维利埃;柏林:洪堡大学,Mathematisch-Naturwissenschaftliche Fakultät II(Diss.)(ISBN 3-86537-813-7)。第六章,263页。(2005).
PDF格式BibTeX公司 XML格式引用

实时时序逻辑:过去、现在、未来。 (英语) 兹比尔1175.03009

Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829,2-16(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于TPTL公司MTL公司. (英语) Zbl 1140.03303号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821432-443(2005)。
MSC公司:03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向CTL*画面。 (英语) Zbl 1172.03310号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821384-395(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从逻辑到游戏。 (英语) Zbl 1172.68545号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿382179-91(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

HOL中的定量时间逻辑机械化。 (英语) Zbl 1169.03325号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722439-453(2005)。
MSC公司:03B35型 03B44号 第68页第15页 68瓦20
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间随机逻辑的同余和互模拟。 (英语) Zbl 1169.68503号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722,409-423(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对持续时间演算的稳健解释。 (英语) Zbl 1169.68504号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722257-271(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时器级联:功能建模和实时计算。 (英语) Zbl 1169.68646号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722,242-256(2005)。
MSC公司:68岁20岁 03B44号 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不完全信息下代理策略能力的模型检验。 (英语) Zbl 1136.68425号

Coppo,Mario(编辑)等人,《理论计算机科学》。第九届意大利会议,2005年ICTCS,2005年10月12日至14日,意大利锡耶纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29106-7/pbk)。《计算机科学讲义》3701295-308(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用首选答案集编程从时间规范合成。 (英语) 兹比尔1171.68548

Coppo,Mario(编辑)等人,《理论计算机科学》。第九届意大利会议,2005年ICTCS,2005年10月12日至14日,意大利锡耶纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29106-7/pbk)。计算机科学讲座笔记3701,280-294(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一阶时序逻辑的证明规划。 (英语) Zbl 1135.68553号

Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣款国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。人工智能课堂讲稿,235-249(2005)。
MSC公司:第68页第15页 03B35型 03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过时间分辨率决定单音片段。 (英语) Zbl 1135.03332号

Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣款国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。《人工智能课堂讲稿》,204-218(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

传递状态上的时间逻辑。 (英语) Zbl 1135.03333号

Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣款国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。人工智能课堂讲稿,182-203(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Mazurkiewicz迹上局部时序逻辑的一致可满足性问题。 (英语) Zbl 1134.68436号

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653533-547(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机中几乎处处属性的一种新形式。 (英语) 兹比尔1134.68381

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653110-124(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MoMo:一种关于流动性推理的模态逻辑。 (英语) Zbl 1143.68364号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2004年11月2日至5日,第三届国际研讨会,FMCO,荷兰莱顿。修订的讲座。柏林:施普林格出版社(ISBN 3-540-29131-8/pbk)。计算机科学课堂讲稿365795-119(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模拟的分类方法。 (英语) Zbl 1151.68550号

JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿3629313-330(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从T余代数到滤子结构和过渡系统。 (英语) Zbl 1151.18001号

JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿3629194-212(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式系统的完整时空逻辑。 (英语) Zbl 1171.03323号

Gramlich,Bernhard(编辑),组合系统的前沿。第五届国际研讨会,FroCos 2005,奥地利维也纳,2005年9月19-21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29051-6/pbk)。计算机科学讲义3717。人工智能课堂讲稿,122-137(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于超限序列的推理。(扩展摘要)。 (英语) Zbl 1170.68513号

Peled,Doron A.(编辑)等人,用于验证和分析的自动化技术。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707,248-262(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步和无学习的解决方案。 (英语) Zbl 1102.03006号

Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。231-248 (2005).
PDF格式BibTeX公司 XML格式引用

知识和过去时间逻辑的公理:同步和独特的初始状态。 (英语) Zbl 1102.03015号

Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。53-72(2005年)。
PDF格式BibTeX公司 XML格式引用

基于表的右命题邻域逻辑决策过程。 (英语) Zbl 1141.03307号

Beckert,Bernhard(编辑),用分析表和相关方法进行自动推理。国际会议,TABLEAUX 2005,德国科布伦茨,2005年9月14日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28931-3/pbk)。计算机科学3702课堂讲稿。人工智能课堂讲稿,63-77(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

框架时序逻辑程序的语义。 (英语) Zbl 1165.68329号

Gabbrielli,Maurizio(编辑)等人,《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29208-X/pbk)。计算机科学课堂讲稿3668,356-370(2005)。
MSC公司:68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算用于验证反应系统的抽象模型。 (英语) Zbl 1092.68056号

Berichte aus der Informatik公司亚琛:Shaker-Verlag;布伦瑞克:TU Braunschweig,Fachbereich Mathematik und Informatik(论文2004)(ISBN 3-8322-4335-6)。125页。(2005).
PDF格式BibTeX公司 XML格式引用
全文: 链接

知识和信念。介绍这两个概念的逻辑。由Vincent F.Hendricks和John Symons编写。重印1962年原件。 (英语) Zbl 1085.03001号

哲学文本1.伦敦:国王学院出版社(ISBN 1-904987-08-7/pbk)。ii,133页。(2005).
PDF格式BibTeX公司 XML格式引用

LTL的特征模式。 (英语) Zbl 1117.68431号

Vojtáš,Peter(编辑)等人,《SOFSEM 2005:计算机科学的理论与实践》。2005年1月22日至28日,斯洛伐克利普托夫斯克·扬,第31届计算机科学理论与实践当前趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24302-X/pbk)。计算机科学讲座笔记3381239-249(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简单是更好的:对过去的LTL进行有效的有界模型检查。 (英语) 兹比尔1111.68510

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385380-395(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性时间微积分的弱自动机。 (英语) Zbl 1112.68093号

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385,267-281(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动化作为抽象。 (英语) Zbl 1112.68088号

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385,216-232(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

微积分的变量层次结构是严格的。 (英语) Zbl 1119.68114号

Diekert,Volker(编辑)等人,STACS 2005。第22届计算机科学理论方面年度研讨会,德国斯图加特,2005年2月24日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24998-2/pbk)。计算机科学课堂讲稿3404,97-109(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间和空间形状的微积分。 (英语) Zbl 1109.68068号

Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会,中国贵阳,2004年9月20日至24日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-25304-1/pbk)。计算机科学课堂讲稿3407463-477(2005)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL与过去的符号模型检查的最简短反例。 (英语) Zbl 1087.68060号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。《计算机科学讲义》3440493-509(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于场景的规范的时间逻辑。 (英语) Zbl 1087.68596号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440445-460(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用BDD决定CTL。 (英语) Zbl 1087.68057号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440222-236(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

推理具有过渡公平性的系统。 (英语) Zbl 1108.68486号

Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,194-208(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尝试、成功和行动生成:对有意行动的逻辑研究。 (英语) Zbl 1082.03006号

Daniel Vanderveken(编辑),《逻辑、思想和行动》。多德雷赫特:施普林格(ISBN 1-4020-2616-1/hbk;1-4020-3167-X/电子书)。《逻辑、认识论和科学的统一》2,315-342(2005)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者