Foundations of logic programming
Foundations of logic programming
The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Executing temporal logic programs
Executing temporal logic programs
MOLOG: A system that extends PROLOG with modal logic
New Generation Computing
Implementation of temporal logic programming language Tokio
Proceedings of the 4th conference on Logic programming '85
Semantics for reified temporal logic
on Advances in artificial intelligence
Modal and temporal logic programming
Temporal logics and their applications
Incompleteness of first-order temporal logic with until
Theoretical Computer Science
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation
Logic programming semantics: techniques and applications
Logic programming semantics: techniques and applications
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Towards a unified theory of intensional logic programming
Journal of Logic Programming
A temporal extension of PROLOG
Journal of Logic Programming
Temporal logic programming with bounded universal modality goals
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Intensional logic programming
Temporal and modal logic programming: an annotated bibliography
ACM SIGART Bulletin
On the expressiveness of temporal logic programming
Information and Computation
Temporal logic of programs: a standard approach
Time and logic
Temporal annotated constraint logic programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Programming in metric temporal logic
Theoretical Computer Science
ACM Transactions on Computational Logic (TOCL)
Temporal disjunctive logic programming
New Generation Computing
Logic for Computer Scientists
Chronolog (Z): Linear-Time Logic Programming
ICCI '93 Proceedings of the Fifth International Conference on Computing and Information
Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog
Proceedings of the Third International Conference on Logic Programming
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic
Proceedings of the First Russian Conference on Logic Programming
Temporal Logic and Annotated Constraint Logic Programming
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
Temporal Logic Programming with Metric and Past Operators
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
A Combination of Clausal and Non Clausal Temporal Logic Programs
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
Efficiently Executable Temporal Logic Programs
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
Concurrent METATEM - A Language for Modelling Reactive Systems
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Annotated Constraint Logic Programming Applied to Temporal Reasoning
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Cactus: A Branching-Time Logic Programming Language
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Gentzen-Systems for Propositional Temporal Logics
CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus
Baltic Computer Science, Selected Papers
A Normal Form for First-Order Temporal Formulae
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
The Set of Support Strategy in Temporal Resolution
TIME '98 Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning
Using ITL and Tempura for Large-Scale Specification and Simulation
PDP '96 Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96)
On the Semantics of Temporal Logic Prograrnrning
On the Semantics of Temporal Logic Prograrnrning
Is There a Future for Deductive Temporal Verification?
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Theoretical Computer Science
Framed temporal logic programming
Science of Computer Programming
Strongly Equivalent Temporal Logic Programs
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
Loop formulas for splitable temporal logic programs
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Branching-time logic programming: the language Cactus and its applications
Computer Languages
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Constructing the Least Models for Positive Modal Logic Programs
Fundamenta Informaticae
Invariant-Free Clausal Temporal Resolution
Journal of Automated Reasoning
| Hi-index | 0.00 |
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, syntactically, a sublanguage of the well-known Propositional Linear-time Temporal Logic (PLTL). TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. The operational semantics of TeDiLog relies on a restriction of the invariant-free temporal resolution procedure for PLTL that was introduced by Gaintzarain et al. in [2013]. We define a fixpoint semantics that captures the reverse (bottom-up) operational mechanism and prove its equivalence with the logical semantics. We also provide illustrative examples and comparison with other proposals.