用选择谓词非确定性扩展时序逻辑规划

@文章{Orgun1994ExtendingTL，title={用选择谓词非确定性扩展时序逻辑程序设计}，作者＝{Mehmet A.Orgun和William W.Wadge}，日志={J.Log.Comput.}，年份={1994年}，体积={4}，页码={877-903}，网址={https://api.semanticscholar.org/CorpusID:6669771}}
讨论了可构造极小模型作为两个新映射NTP和CP交替应用得到的模型链极限的一个特征。
通过Publisher查看
plaice.web.cse.unsw.edu.au网站
13引文
极具影响力的引文
1
背景引文
三
方法引文
三

13引文

更具表现力的声明式时序逻辑编程语言的逻辑基础

TeDiLog的操作语义依赖于Gaintzarain等人于[2013]引入的PLTL无不变量时间分辨率程序的限制。

Chronolog的并行执行模型

为了利用Chronolog（Z）中固有的并行性，本文概述了一种并行执行模型，称为CHEM（Chronolog ExecutionModel），该模型基于数据流计算，并在Chroniolog（Z）中添加了“选择谓词”，因此，当人们想要对面向流的计算的数据流样式进行建模时，可以准确地获得给定目标的一个答案。

线性时间逻辑程序设计基础

结果表明，TiSLD分解是一个完善的证明过程，是Chronolog的声明语义和操作语义的等价(ℒ) 程序已建立。

时态逻辑的不变自由演绎系统

本文提出了一种单程表方法TTM，它代替图获得一个循环树来决定一组PLTL形式是否可满足，并表明表与顺序计算之间的经典对应关系可以扩展到时序逻辑。

基于非确定结构的数据日志程序的值传递转换技术

本文提出了分支时间变换的一个重要扩展，相信它为价值传播数据日志优化领域开辟了一个有希望的新的研究方向。

跨多个时间线查询历史数据

本文提出了一个时钟时序关系代数R，它支持基于多个时间线的时序关系，并概述了$${\mathfrak{R}}$$的表达式的形式化解释，它也表示时钟关系，并简述了一种朴素的表达式求值方法。

演绎数据库中的关键约束和单调聚合

    C.扎尼奥洛
    计算机科学、数学
    计算逻辑：逻辑编程及其以外
  • 2002
我们扩展了逻辑程序的不动点和模型理论语义，以在派生关系中包含唯一的关键约束。此扩展增加了Datalog程序的表达能力，而…

时序和模态逻辑编程语言

介绍了时序和模态逻辑编程语言背后的基本概念，并给出了它们的使用示例。

认知和时间推理的连接计算模型

本文表明，人工神经网络可以有效地计算非经典逻辑，特别是命题时态逻辑以及时态推理和认知推理的组合。

时序和模态逻辑程序设计概述

概述包括大多数已开发的主要结果，并指出基于不同时间逻辑和模态逻辑的语言和系统之间的一些相似之处和差异。

37参考文献

基于度量和过去算子的时序逻辑程序设计

本文研究了度量时态Horn逻辑的一个子集，称为MTL程序，并表明通过在时态运算符中包含变量来考虑度量时态逻辑的扩展，已经导致了一个时态HornLogic，它与a′上的约束逻辑程序显式等价。

PARLOG：逻辑并行编程

PARLOG是一种逻辑编程语言，在这个意义上，几乎每个定义和查询都可以作为谓词逻辑的句子来阅读，这与PROLOG在合并并行计算模式方面有所不同。

对逻辑程序设计理论的贡献

证明了有界不确定性的非确定性流程图模式是由Hom子句的这种特殊情况建模的，并利用有限失败和最大不动点之间的联系给出了这种流程图模式的终止、阻塞和非终止的语义特征。

并发逻辑编程语言家族

本文展示了在统一操作框架内并发逻辑编程语言家族中即使是最简单的语言的表达能力，并研究了基本同步和控制结构的变化如何影响生成语言的表达性和效率。

时间逻辑及其应用

关于时态逻辑及其应用程序的最佳电子书，您可以在此处免费下载此时态逻辑及应用程序并保存到桌面。这本电子书在下面…

走向内涵逻辑程序设计的统一理论

Chronolog承认完整的证明程序

结果表明，TiSLD解析是合理和完整的，并且建立了Chronolog（Z）程序的声明语义和操作语义的等价性。

时序逻辑编程完整且富有表现力

展示了如何将命题TEMPLOG程序转化为时间不动点演算，并证明了它们基本上可以表达序列的所有正则性质。

谓词逻辑作为程序设计语言的语义

本文定义了谓词逻辑程序的操作语义和不动点语义，并研究了它们与逻辑的证明理论和模型理论的联系，得出了操作语义是概率论的一部分，不动点语义学是模型理论语义学的一个特例。

时序逻辑编程