×
菲利普·巴尔比亚尼;安东亚科布

确定数据日志目标之间的相似关系。 （英语） Zbl 1361.68029号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，67-79（2012）。
摘要：我们引入了数据日志目标之间的互模拟概念：当两个数据日志目标的SLD-树（视为关系结构）互相似时，这两个目标相对于给定的数据日志程序是互相似的。我们解决了确定两个给定目标相对于给定程序是否相似的问题。当给定的程序是分层的或受限的时，这个问题可以在2EXPTIME中确定。
关于整个系列，请参见[Zbl 1246.68063号].

MSC公司：

68N17号 逻辑编程
第68页，共15页 数据库理论

关键词：

逻辑程序设计;数据日志;目标对等;互模拟;决策方法;计算复杂性

软件：

数据日志
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}和\textit{A.Yaacoub}，莱克特。注释计算。科学。7519，67-79（2012年；兹比尔1361.68029）
全文： 内政部

参考文献：

[1] Bol，R.N.：部分扣除中的循环检查。《逻辑编程杂志》16，25–46（1993）·Zbl 0780.68012号 ·doi:10.1016/0743-1066（93）90022-9
[2] Bol，R.N.，Apt，K.R.，Klop，J.W.：逻辑程序的循环检查机制分析。理论计算机科学86，35-79（1991）·Zbl 0741.68027号 ·doi:10.1016/0304-3975（91）90004-L
[3] Devienne，P.、Lebégue，P.和Routier，J.-C.：一个二元Horn子句的中止问题是不可判定的。In:Enjalbert，P.，Wagner，K.W.，Finkel，A.（编辑）STACS 1993。LNCS，第665卷，第48-57页。斯普林格，海德堡（1993）·Zbl 0797.68057号 ·doi:10.1007/3-540-56503-5_7
[4] Gabbrielli，M.，Levi，G.，Meo，M.C.：逻辑程序的可观察行为和等价性122，1–29（1992）·兹伯利0834.68010
[5] Harland，J.：关于逻辑程序的正规形式和等价性。摘自：《逻辑编程联合国际会议和研讨会论文集》，第146-160页（1992年）
[6] Hennessy，M.，Milner，R.：关于观察不确定性和并发性。收录人：de Bakker，J.W.，van Leeuwen，J.（编辑）ICALP 1980。LNCS，第85卷，第299-309页。斯普林格，海德堡（1980）·Zbl 0441.68018号 ·doi:10.1007/3-540-10003-2.79
[7] Hoare，C.A.R.：传达顺序过程。Commun公司。ACM 21、666–677（1978）·Zbl 0383.68028号 ·doi:10.1145/359576.359585
[8] Lifschitz，V.，Pearce，D.，Valverde，A.：强等价逻辑程序。ACM计算逻辑汇刊（2000）·Zbl 1365.68149号
[9] Lloyd，J.W.：逻辑编程基础。斯普林格（1984）·Zbl 0547.68005号 ·doi:10.1007/978-3-642-96826-6
[10] Maher，M.：逻辑程序的等价性。收录：Shapiro，E.（编辑）ICLP 1986。LNCS，第225卷，第410-424页。斯普林格，海德堡（1986）·Zbl 0594.68011号 ·doi:10.1007/3-540-16492-891
[11] Milner，R.：同步和异步的演算。理论计算机科学25267-310（1983）·Zbl 0512.68026号 ·doi:10.1016/0304-3975（83）90114-7
[12] Park，D.：无限序列上的并发与自动机。摘自：《第五届地理信息学会理论计算机科学会议论文集》，第167-183页。英国施普林格（1981）·doi:10.1007/BFb0017309
[13] Sangiorgi，D.：关于互模拟和共归纳的起源。输入：ACM事务处理。程序。语言系统。，第1-41页。ACM，美国（2009）·Zbl 1285.68112号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。