The following pages link to Temporal logic programming (Q582280):
Displaying 41 items.
- A cylinder computation model for many-core parallel computing (Q391222) (← links)
- Temporal annotated constraint logic programming (Q679329) (← links)
- Dense time logic programming (Q679332) (← links)
- Dealing with multiple granularity of time in temporal logic programming (Q679341) (← links)
- Executable temporal logic systems (Q679342) (← links)
- A mathematical framework for the semantics of symbolic languages representing periodic time (Q862832) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- Programming in temporal-nonmonotonic reasoning (Q1181723) (← links)
- Time-extraction for temporal logic -- logic programming and local process time (Q1333399) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Temporal logic CTL \(+\) Prolog (Q1823654) (← links)
- On the expressiveness of temporal logic programming (Q1892870) (← links)
- Modeling data-intensive reactive systems with relational transition systems (Q1901696) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Semantics of temporal constrained objects (Q1996867) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Framed temporal logic programming (Q2469157) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- Temporal object-oriented programming (Q2721829) (← links)
- Extensions of the branching-time logic programming language CACTUS (Q2758304) (← links)
- Timed term rewrite systems (Q2841289) (← links)
- Temporal contextual logic programming (Q2873801) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- Transformations of logic programs on infinite lists (Q3585155) (← links)
- Issues arising in the analysis of L.0 (Q4037128) (← links)
- Extending Temporal Logic Programming with Choice Predicates Non-determinism (Q4323007) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Extending temporal logic to support high-level simulations (Q4875975) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- FORMAL CONSIDERATIONS OF RULE-BASED MESSAGING FOR BUSINESS PROCESS INTEGRATION (Q5405805) (← links)
- Towards Temporal Contextual Logic Programming (Q5449626) (← links)
