Framed temporal logic programming

Barringer, 1989, METATEM: A framework for programming in temporal logic, vol. 430 Bidoit, 1991, Negation in rule-based data base languages: A survey, Theoretical Computer Science, 78, 3, 10.1016/0304-3975(51)90003-5 Bowman, 1997, Specication and prototyping of structrued multimedia documents using interval temporal logic Bowman, 1998, A Tableau method for interval temporal logic with projection, vol. 1397 Bowman, 2003, A decision procedure and complete axiomatisation of finite interval temporal logic with projection, Journal of Logic and Computation, 13, 195, 10.1093/logcom/13.2.195 Z. Duan, An extended interval temporal logic and a framing technique for temporal logic programming, Ph.D. Thesis, University of Newcastle upon Tyne, 1996 Duan, 2006 Duan, 2000, A logic for biological systems, BioSystems, 55, 93, 10.1016/S0303-2647(99)00087-8 Duan, 2004, A framed temporal logic programming language, Journal of Computer Science and Technology, 19, 341, 10.1007/BF02944904 Duan, 1994, Projection in temporal logic programming, vol. 822, 333 Duan, 2005, Semantics of framed temporal logic programs, vol. 3668, 356 Emerson, 1982, Using branching temporal logic to synthesize synchronization skeletons, Science of Computer Programming, 2, 241, 10.1016/0167-6423(83)90017-5 Fisher, 1995, Towards a semantics for concurrent MTETATEM, vol. 897 Fujita, 1986, Tokio: Logic programming language based on temporal logic and its compilation to PROLOG, vol. 225, 695 D.M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, Research Report 84/11, Dept. of Computing, Imperial College, 1984 R.W.S. Hale, Programming in temporal logic, Ph.D. Thesis, Cambridge University, 1988 Hehner, 1990, A practical theory of programming, Science of Computer Programming, 14, 133, 10.1016/0167-6423(90)90018-9 Hoare, 1985 Kröger, 1987 Lamport, 1994, The temporal logic of actions, ACM Transaction on Programming Languages and Systems, 16, 10.1145/177492.177726 Manna, 1992 Milner, 1989 Moszkowski, 1986 Moszkowski, 1994, Some very compositional temporal properties, 307 L. Ness, L.0: A parallel executable temporal logic language, in: Proceeding of ACM SIGSOFT, International Workshop on Formal Methods in Software Development, 1990 Tang, 1983, Toward a unified logic basis for programming languages, 425 Tang, 1994, A temporal logic language oriented toward software engineering,—introduction to XYZ system (I), Chinese Journal of Advanced Software Research, 1, 1