The following pages link to A Temporal extension of Prolog (Q4036284):
Displayed 9 items.
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- MetateM: An introduction (Q1904643) (← 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)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- Fuzzy temporal constraint logic: A valid resolution principle (Q5946476) (← links)