×

项目摘要:逻辑地图集和集成器(LATIN)。 (英语) Zbl 1278.68285号

Davenport,James H.(编辑)等人,《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22672-4/pbk)。计算机科学课堂讲稿6824。人工智能课堂讲稿,289-291(2011)。
概述:LATIN旨在开发逻辑和相关形式系统接口的方法、技术和工具。这些系统是数学和计算机科学的核心,在(半)自动定理证明器、模型检查器、计算机代数系统、约束求解器或概念分类器等系统中实现。不幸的是,这些系统有不同的应用领域、基本假设和输入语言,这使得它们不可互操作,并且很难在实践中进行比较和评估。
关于整个系列,请参见[Zbl 1218.68014号].

MSC公司:

68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Codescu,M.、Horozal,F.、Kohlhase,M.,Mossakowski,T.、Rabe,F.和Sojakova,K.:面向异构工具集Hets中的逻辑框架。摘自:抽象开发技术研讨会。LNCS公司。斯普林格,海德堡(即将亮相,2011年)·Zbl 1278.68286号
[2] Gičeva,J.,Lange,C.,Rabe,F.:将Web服务集成到活动数学文档中。作者:Carette,J.、Dixon,L.、Sacerdoti Coen,C.、Watt,S.(编辑)MKM 2009,作为CICM 2009的一部分举行。LNCS,第5625卷,第279-293页。斯普林格,海德堡(2009)·Zbl 1247.68314号 ·doi:10.1007/978-3642-02614-0_24
[3] Goguen,J.,Burstall,R.:机构:规范和编程的抽象模型理论。《计算机协会杂志》39(1),95–146(1992)·Zbl 0799.68134号 ·数字对象标识代码:10.1145/147508.147524
[4] Horozal,F.,Rabe,F.:在类型理论逻辑框架中表示模型理论。理论计算机科学(即将出版,2011年),http://kwarc.info/frabe/Research/HR_folsound_10.pdf ·Zbl 1236.03027号 ·doi:10.1016/j.tcs.2011年3月22日
[5] Iancu,M.,Rabe,F.:数学基础形式化。《计算机科学中的数学结构》(即将出版,2011年),http://kwarc.info/frabe/Research/IR_foundations_10.pdf ·兹比尔1242.03031 ·doi:10.1017/S0960129511000144
[6] Kohlhase,M.,Rabe,F.,Zholodev,V.:走向大型MKM:模块化表示和可扩展软件体系结构。收录人:Autexier,S.、Calmet,J.、Delahaye,D.、Ion,P.、Rideau,L.、Rioboo,R.、Sexton,A.(编辑)AISC 2010。LNCS,第6167卷,第370-384页。斯普林格,海德堡(2010)·兹比尔1278.68297 ·doi:10.1007/978-3-642-14128-7_32
[7] Mossakowski,T.、Maeder,C.、Lüttich,K.:异质工具集。In:Grumberg,O.,Huth,M.(编辑)TACAS 2007。LNCS,第4424卷,第519-522页。斯普林格,海德堡(2007)·Zbl 05185799号 ·doi:10.1007/978-3-540-71209-1_40
[8] Pfenning,F.,Schürmann,C.:系统描述:Twelf-演绎系统的元逻辑框架。摘自:Ganzinger,H.(编辑)CADE 1999。LNCS(LNAI),第1632卷,第202-206页。斯普林格,海德堡(1999)·doi:10.1007/3-5440-48660-7_14
[9] Rabe,F.:结合模型和证明理论的逻辑框架。提交给计算机科学数学结构(2010),http://kwarc.info/frabe/Research/rabe_combining_09.pdf ·兹伯利1326.03082
[10] Rabe,F.:在LF中代表Isabelle。收录于:Crary,K.,Miculan,M.(编辑)《逻辑框架与元语言:理论与实践》。EPTCS,第34卷,第85-100页(2010年)·doi:10.4204/EPTCS.34.8
[11] Rabe,F.,Kohlhase,M.:可扩展模块系统。审查中(2011年),http://arxiv.org/abs/1105.0548 ·Zbl 1358.68283号
[12] Rabe,F.,Schürmann,C.:LF实用模块系统。收录于:Cheney,J.,Felty,A.(编辑)《逻辑框架研讨会论文集:元理论与实践》(LFMTP),第40-48页。ACM出版社,纽约(2009)
[13] Zholudev,V.,Kohlhase,M.:TNTBase:XML的版本存储。摘自:Balisage会议记录:2009年加价会议。Balisage Markup Technologies系列,第3卷。Mulberry Technologies,Inc.(2009年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。