Temporal logic programming
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 3900125 (Why is no real title available?)
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- scientific article; zbMATH DE number 3904560 (Why is no real title available?)
- scientific article; zbMATH DE number 3945331 (Why is no real title available?)
- scientific article; zbMATH DE number 3960965 (Why is no real title available?)
- scientific article; zbMATH DE number 3731310 (Why is no real title available?)
- scientific article; zbMATH DE number 4119669 (Why is no real title available?)
- Specifying Concurrent Program Modules
- The temporal semantics of concurrent programs
Cited in
(55)- Temporal logic programs with temporal description logic axioms
- Temporal contextual logic programming
- Transformations of logic programs on infinite lists
- Towards Temporal Contextual Logic Programming
- The delay and window size problems in rule-based stream reasoning
- Temporal abductive reasoning about biochemical reactions
- Formal considerations of rule-based messaging for business process integration
- Temporal object-oriented programming
- scientific article; zbMATH DE number 4052975 (Why is no real title available?)
- Knowledge representation with multiple logical theories and time
- scientific article; zbMATH DE number 4082943 (Why is no real title available?)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- scientific article; zbMATH DE number 4115924 (Why is no real title available?)
- Foundations of linear-time logic programming
- Operational semantics of Framed Tempura
- Logic programming for real-time control of telecommunication switching systems
- Implementing Temporal Logics: Tools for Execution and Proof
- On temporal logic S4Dbr
- Temporal logic with recursion
- scientific article; zbMATH DE number 177268 (Why is no real title available?)
- Framed temporal logic programming
- scientific article; zbMATH DE number 4119669 (Why is no real title available?)
- Operational Semantics of Framed Temporal Logic Programs
- On the expressiveness of temporal logic programming
- Programming in temporal-nonmonotonic reasoning
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
- scientific article; zbMATH DE number 4128368 (Why is no real title available?)
- Programming language elements for proof construction
- Extending Temporal Logic Programming with Choice Predicates Non-determinism
- scientific article; zbMATH DE number 65739 (Why is no real title available?)
- Axiomatic semantics of projection temporal logic programs
- A cylinder computation model for many-core parallel computing
- Programming in metric temporal logic
- A mathematical framework for the semantics of symbolic languages representing periodic time
- Semantics of temporal constrained objects
- Control machines: A new model of parallelism for compositional specifications and their effective compilation
- Modeling data-intensive reactive systems with relational transition systems
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- scientific article; zbMATH DE number 3960965 (Why is no real title available?)
- scientific article; zbMATH DE number 4081517 (Why is no real title available?)
- Temporal logic programs with variables
- scientific article; zbMATH DE number 1536571 (Why is no real title available?)
- scientific article; zbMATH DE number 1522996 (Why is no real title available?)
- Temporal equilibrium logic with past operators
- Timed term rewrite systems
- Tractable reasoning using logic programs with intensional concepts
- Multi-dimensional logic programming: theoretical foundations
- Extensions of the branching-time logic programming language CACTUS
- A Temporal extension of Prolog
- scientific article; zbMATH DE number 4119670 (Why is no real title available?)
- scientific article; zbMATH DE number 773990 (Why is no real title available?)
- Temporal logic CTL \(+\) Prolog
- scientific article; zbMATH DE number 2085286 (Why is no real title available?)
- MetateM: An introduction
- A temporal programming model with atomic blocks based on projection temporal logic
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)
