×
Rondogiannis，P。

时序逻辑编程和循环和测试中的分层否定。 （英语） Zbl 0974.68028号

西奥。计算。科学。 254，编号1-2，663-676（2001）。
我们考虑时态逻辑编程中的分层否定。我们证明了循环和测试（最初提出用于在时序函数编程的上下文中检测死锁）也可以用作时序逻辑编程的语法分层测试。因此，一方面我们展示了一类带有否定的时态逻辑程序，它们具有定义良好的语义，另一方面我们进一步证明了循环和测试是时态编程领域的基本测试。

引用于1审查
引用于2文件

MSC公司：

68N17号 逻辑编程

关键词：

时序逻辑程序设计;否定;分层;循环和试验

软件：

CACTUS公司;露西德
PDF格式BibTeX公司 XML格式引用
\文本{P.Rondogiannis}，Theor。计算。科学。254，编号1--2，663--676（2001；Zbl 0974.68028）
全文： 内政部

参考文献：

[1] Apt，K。；Bol，R.，《逻辑编程与否定：一项调查》，J.Logic programming，19，20，9-71（1994）·Zbl 0942.68518号
[2] Apt，K.R。；布莱尔，H.A。；Walker，A.，朝向陈述性知识理论，（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），89-148
[3] 科尔曼，T。；雷瑟森，C。；Rivest，R.，《算法导论》（1990），麻省理工学院出版社：马萨诸塞州剑桥·Zbl 1158.68538号
[4] C.Coutras，C.Nomikos，关于线性时间-时间逻辑编程中分层否定的计算复杂性，Proc。第12届国际米兰。交响乐团。《密集型编程语言》，希腊雅典，1999年6月，第222-231页。；C.Coutras，C.Nomikos，《线性时间时序逻辑编程中分层否定的计算复杂性》，Proc。第12届国际米兰。交响乐团。《集约式编程语言》，希腊雅典，1999年6月，第222-231页。
[5] Harary，F.，《图论》（1972），Addison-Wesley：马萨诸塞州Addison-Whesley Reading·Zbl 0797.05064号
[6] Lloyd，J.，《逻辑编程基础》（1987），施普林格出版社：柏林施普林格·Zbl 0668.68004号
[7] B.Ludäscher，主动和演绎数据库规则的集成，弗赖堡大学信息研究所博士论文，1998年。；B.Ludäscher，主动和演绎数据库规则的集成，弗赖堡大学信息研究所博士论文，1998年。
[8] Matthews，S.G.，惰性数据流死锁的扩展处理，Theoret。计算。科学。，151, 195-205 (1995) ·Zbl 0872.68110号
[9] 奥根，医学硕士。；Wadge，W.W.，《时序逻辑编程的理论与实践》，（Farinas del Cerro，L.；Penttonen，M.，《编程的内涵逻辑》（1992），牛津大学出版社：牛津大学出版社，23-50
[10] 奥根，医学硕士。；Wadge，W.W.，《走向内涵逻辑编程的统一理论》，《逻辑编程》，13，4，113-145（1992）·Zbl 0754.68032号
[11] Przymusinska，H。；Przymusinski，T.，演绎数据库和逻辑程序中的语义问题，（Banerji，R.，《人工智能中的形式技术》（1990），阿姆斯特丹：阿姆斯特丹北荷兰），321-367·Zbl 0704.68034号
[12] Przymusinski，T.，《关于演绎数据库和逻辑程序的声明语义》，（Minker，J.，《演绎数据库与逻辑编程基础》（1988），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），193-216·Zbl 0726.68067号
[13] P.Rondogiannis，《编年史中的否定》，Proc。第11届国际。交响乐团。关于意图编程语言，美国Palo Alto，1998年5月7日至9日，第89-97页。；P.Rondogiannis，《编年史中的否定》，Proc。第11届国际。交响乐团。《密集型编程语言》，美国帕洛阿尔托，1998年5月7日至9日，第89-97页。
[14] Rondogiannis，P。；Gergatsoulis，M。；Panayiotopoulos，T.，分支时间逻辑编程：语言Cactus及其应用，计算。语言，24155-178（1998）·Zbl 0948.68034号
[15] Wadge，W.W.，数据流死锁的外延处理，定理。计算。科学。，13, 3-15 (1981) ·Zbl 0441.68017号
[16] 沃奇，W.W。；Ashcroft，E.A.，Lucid，《数据流编程语言》（1985），学术出版社：纽约学术出版社·Zbl 0564.68002号
[17] W.W.Wadge，时态逻辑编程：一个值得尊敬的选择，Proc。1988年国际。交响乐团。《清晰与内涵式规划》，1988年，第26-32页。；W.W.Wadge，时态逻辑编程：一个值得尊敬的选择，Proc。1988年国际。交响乐团。《精明与集约规划》，1988年，第26-32页。
[18] C.Zaniolo，N.Arni，K.Ong，《递归规则中的否定和聚合：LDL》；C.Zaniolo，N.Arni，K.Ong，递归规则中的否定和聚合：（LDL）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。