The following pages link to Temporal logic programming (Q582280):
Displaying 23 items.
- A cylinder computation model for many-core parallel computing (Q391222) (← 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)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Modeling data-intensive reactive systems with relational transition systems (Q1901696) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Semantics of temporal constrained objects (Q1996867) (← 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)
- Timed Term Rewrite Systems (Q2841289) (← 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)
- 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)
- Foundations of linear-time logic programming (Q4876388) (← links)
- FORMAL CONSIDERATIONS OF RULE-BASED MESSAGING FOR BUSINESS PROCESS INTEGRATION (Q5405805) (← links)
