Semantics for Temporal Annotated Constraint Logic Programming

This publication has 15 references indexed in Scilit:

• Programming with Constraints
  Published by MIT Press ,1998
• Constraint-Programmierung
  Published by Springer Nature ,1997
• Temporal Annotated Constraint Logic Programming
  Journal of Symbolic Computation, 1996
• Why untyped nonground metaprogramming is not (much of) a problem
  The Journal of Logic Programming, 1995
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Temporal Logic
  Published by Springer Nature ,1994
• Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].
  The Journal of Logic Programming, 1992
• A critical examination of Allen's theory of action and time
  Artificial Intelligence, 1990
• Temporal logic programming
  Journal of Symbolic Computation, 1989
• Towards a general theory of action and time
  Artificial Intelligence, 1984