Temporal logic programming
From MaRDI portal
Publication:582280
DOI10.1016/S0747-7171(89)80070-7zbMath0691.03015MaRDI QIDQ582280
Publication date: 1989
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)
Related Items (23)
The delay and window size problems in rule-based stream reasoning ⋮ A temporal programming model with atomic blocks based on projection temporal logic ⋮ Operational semantics of Framed Tempura ⋮ Modeling data-intensive reactive systems with relational transition systems ⋮ MetateM: An introduction ⋮ A mathematical framework for the semantics of symbolic languages representing periodic time ⋮ Programming in metric temporal logic ⋮ A cylinder computation model for many-core parallel computing ⋮ Temporal Equilibrium Logic with past operators ⋮ Temporal abductive reasoning about biochemical reactions ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ Foundations of linear-time logic programming ⋮ Control machines: A new model of parallelism for compositional specifications and their effective compilation ⋮ Programming in temporal-nonmonotonic reasoning ⋮ FORMAL CONSIDERATIONS OF RULE-BASED MESSAGING FOR BUSINESS PROCESS INTEGRATION ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Semantics of temporal constrained objects ⋮ Transformations of logic programs on infinite lists ⋮ Knowledge representation with multiple logical theories and time ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ Timed Term Rewrite Systems
Uses Software
Cites Work
This page was built for publication: Temporal logic programming
