Temporal logic programming
From MaRDI portal
DOI10.1016/S0747-7171(89)80070-7zbMATH Open0691.03015MaRDI QIDQ582280FDOQ582280
Authors: Martín Abadi, Zohar Manna 
Publication date: 1989
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Recommendations
General topics in the theory of software (68N01) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- The temporal semantics of concurrent programs
- Title not available (Why is that?)
- Specifying Concurrent Program Modules
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (55)
- Towards Temporal Contextual Logic Programming
- Temporal object-oriented programming
- Title not available (Why is that?)
- Knowledge representation with multiple logical theories and time
- Axiomatic semantics of projection temporal logic programs
- Multi-dimensional logic programming: theoretical foundations
- Implementing Temporal Logics: Tools for Execution and Proof
- Title not available (Why is that?)
- Operational Semantics of Framed Temporal Logic Programs
- Extensions of the branching-time logic programming language CACTUS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Framed temporal logic programming
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- Title not available (Why is that?)
- The delay and window size problems in rule-based stream reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- A mathematical framework for the semantics of symbolic languages representing periodic time
- A temporal programming model with atomic blocks based on projection temporal logic
- On temporal logic S4Dbr
- Programming in metric temporal logic
- Tractable reasoning using logic programs with intensional concepts
- Semantics of temporal constrained objects
- Modeling data-intensive reactive systems with relational transition systems
- Title not available (Why is that?)
- Temporal logic CTL \(+\) Prolog
- Foundations of linear-time logic programming
- Formal considerations of rule-based messaging for business process integration
- Operational semantics of Framed Tempura
- Temporal logic programs with variables
- On the expressiveness of temporal logic programming
- Extending Temporal Logic Programming with Choice Predicates Non-determinism
- MetateM: An introduction
- Temporal contextual logic programming
- A Temporal extension of Prolog
- Temporal logic with recursion
- Control machines: A new model of parallelism for compositional specifications and their effective compilation
- A cylinder computation model for many-core parallel computing
- Programming in temporal-nonmonotonic reasoning
- Logic programming for real-time control of telecommunication switching systems
- Timed term rewrite systems
- Temporal equilibrium logic with past operators
- Temporal logic programs with temporal description logic axioms
- Transformations of logic programs on infinite lists
- Title not available (Why is that?)
- Programming language elements for proof construction
- Temporal abductive reasoning about biochemical reactions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Temporal logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q582280)
