咨询与建议

限定检索结果

文献类型

  • 16 篇 期刊文献
  • 7 篇 会议

馆藏范围

  • 23 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 23 篇 工学
    • 21 篇 计算机科学与技术...
    • 9 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 物理学
    • 1 篇 统计学(可授理学、...
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 23 篇 temporal logic p...
  • 6 篇 projection
  • 4 篇 semantics
  • 4 篇 framing
  • 3 篇 minimal model
  • 3 篇 verification
  • 3 篇 branching time
  • 3 篇 temporal logic
  • 2 篇 theorem proving
  • 2 篇 modeling
  • 2 篇 simulation
  • 2 篇 disjunctive logi...
  • 2 篇 monotonicity
  • 2 篇 operational sema...
  • 2 篇 logic programmin...
  • 2 篇 proof procedures
  • 2 篇 msvl
  • 2 篇 function call
  • 2 篇 concurrency
  • 1 篇 temporal horn fo...

机构

  • 7 篇 xidian univ inst...
  • 5 篇 univ ioannina de...
  • 2 篇 univ piraeus dep...
  • 2 篇 ionian univ dept...
  • 1 篇 xian univ posts ...
  • 1 篇 xidian univ sch ...
  • 1 篇 natl ctr sci res...
  • 1 篇 ictt and isn lab...
  • 1 篇 xidian univ isn ...
  • 1 篇 macquarie univ d...
  • 1 篇 univ piraeus dep...
  • 1 篇 univ newcastle d...
  • 1 篇 xidian univ inst...
  • 1 篇 univ basque coun...
  • 1 篇 univ texas dept ...
  • 1 篇 ncsr demokritos ...
  • 1 篇 univ basque coun...
  • 1 篇 suzhou institute...
  • 1 篇 xian univ posts ...
  • 1 篇 univ athens dept...

作者

  • 8 篇 duan zhenhua
  • 6 篇 rondogiannis p
  • 6 篇 gergatsoulis m
  • 3 篇 tian cong
  • 3 篇 wang xiaobing
  • 3 篇 zhang nan
  • 3 篇 panayiotopoulos ...
  • 3 篇 yang xiaoxiao
  • 2 篇 shu xinfeng
  • 2 篇 nomikos c
  • 1 篇 zhen-huaduan
  • 1 篇 gaintzarain jose
  • 1 篇 liu cc
  • 1 篇 xinyu feng
  • 1 篇 ming fu
  • 1 篇 lin ip
  • 1 篇 li chao
  • 1 篇 ma yongtao
  • 1 篇 maciejkoutny
  • 1 篇 yu zhang

语言

  • 21 篇 英文
  • 2 篇 其他
检索条件"主题词=temporal logic programming"
23 条 记 录,以下是1-10 订阅
排序:
A Framed temporal logic programming Language
收藏 引用
Journal of Computer Science & Technology 2004年 第3期19卷 341-351页
作者: Zhen-HuaDuan MaciejKoutny UniversityofNewcastleuponTyne NewcastleuponTyneNE17RUU.K. XidianUniversity Xi'an710071P.R.China//LaboratoryofComputerScienceISCASBeijing100080P.R.China
We discuss the projection temporal logic (PTL), based on a primitiveprojection operator, prj. A framing technique is also presented, using which a synchronizationoperator, await, is defined within the underlying logic... 详细信息
来源: 评论
MSVL: a typed language for temporal logic programming
收藏 引用
Frontiers of Computer Science 2017年 第5期11卷 762-785页
作者: Xiaobing WANG Cong TIAN Zhenhua DUAN Liang ZHAO ICTT and ISN Lab Xidian University Xi'an 710071 China
The development of types is an important but challenging issue in temporal logic programming. In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which i... 详细信息
来源: 评论
Framed temporal logic programming
收藏 引用
SCIENCE OF COMPUTER programming 2008年 第1期70卷 31-61页
作者: Duan, Zhenhua Yang, Xiaoxiao Koutny, Maciej Xidian Univ Inst Comp Theory & Technol Xian 710071 Peoples R China Newcastle Univ Sch Comp Sci Newcastle Upon Tyne NE1 7RU Tyne & Wear England
A Projection temporal logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing ... 详细信息
来源: 评论
Stratified negation in temporal logic programming and the cycle-sum test
收藏 引用
THEORETICAL COMPUTER SCIENCE 2001年 第1-2期254卷 663-676页
作者: Rondogiannis, P Univ Athens Dept Informat Athens 15784 Greece
We consider stratified negation in temporal logic programming. We demonstrate that the cycle-sum test (which was initially proposed for detecting deadlocks in the context of temporal functional programming) can also b... 详细信息
来源: 评论
A proof procedure for temporal logic programming
收藏 引用
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE 2004年 第2期15卷 417-443页
作者: Gergatsoulis, M Nomikos, C Ionian Univ Dept Arch & Lib Sci Corfu 49100 Greece Univ Ioannina Dept Comp Sci GR-45110 Ioannina Greece
In this paper, we propose a new resolution proof procedure for the branching-time logic programming language Cactus. The particular strength of the new proof procedure, called CSLD-resolution, is that it can handle, i... 详细信息
来源: 评论
logical Foundations for More Expressive Declarative temporal logic programming Languages
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL logic 2013年 第4期14卷 28-28页
作者: Gaintzarain, Jose Lucio, Paqui Univ Basque Country EUITI Bilbao Dept Comp Languages & Syst Bilbao 48013 Spain Univ Basque Country Fac Informat Dept Comp Languages & Syst San Sebastian 20018 Spain
In this article, we present a declarative propositional temporal logic programming language called TeDiLog that is a combination of the temporal and disjunctive paradigms in logic programming. TeDiLog is, syntacticall... 详细信息
来源: 评论
temporal disjunctive logic programming
收藏 引用
NEW GENERATION COMPUTING 2001年 第1期19卷 87-100页
作者: Gergatsoulis, M Rondogiannis, P Panayiotopoulos, T NCSR Demokritos Inst Informat & Telecommun GR-15310 Athens Greece Univ Ioannina Dept Comp Sci GR-45110 Ioannina Greece Univ Piraeus Dept Informat Piraeus 18534 Greece
In this paper we introduce the logic programming language Disjunctive Chronology which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of ex pressing ... 详细信息
来源: 评论
A temporal programming model with atomic blocks based on projection temporal logic
收藏 引用
Frontiers of Computer Science 2014年 第6期8卷 958-976页
作者: Xiaoxiao YANG Yu ZHANG Ming FU Xinyu FENG State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Suzhou Institute for Advanced Study University of Science & Technology of China SuZhou 215123 China
Atomic blocks, a high-level language construct that allows programmers to explicitly specify the atomicity of operations without worrying about the implementations, are a promising approach that simplifies concurrent ... 详细信息
来源: 评论
THE COMPUTATIONAL-COMPLEXITY OF SATISFIABILITY OF temporal HORN FORMULAS IN PROPOSITIONAL LINEAR-TIME temporal logic
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第3期45卷 131-136页
作者: CHEN, CC LIN, IP Department of Computer Science and Information Engineering National Taiwan University Taipei Taiwan
The complexity of the satisfiability problem for 2 Horn fragments in propositional linear-time temporal logic is investigated. The first one contains 2 temporal connectives - eventuality and always only - and the 2nd... 详细信息
来源: 评论
A mechanism of function calls in MSVL
收藏 引用
THEORETICAL COMPUTER SCIENCE 2016年 654卷 11-25页
作者: Zhang, Nan Duan, Zhenhua Tian, Cong Xidian Univ Inst Comp Theory & Technol Xian 710071 Peoples R China Xidian Univ ISN Lab Xian 710071 Peoples R China
Modeling, Simulation and Verification Language (MSVL) is a useful formalism for specification and verification of concurrent systems. To make it more practical and easier to use, we extend MSVL with external and inter... 详细信息
来源: 评论