Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos. Temporal Disjunctive Logic Programming. New Generation Computing, 19(1):87-100, 2001.


  1. Jose Gaintzarain, Paqui Lucio. Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages. ACM Transactions on Computational Logic, 14(4):??-??, 2013? (to appear).

  2. Juan Carlos Nieves, Mauricio Osorio, Urises Cortés. Semantics for Possibilistic Disjunctive Programs. Theory and Practice of Logic Programming, 13(1):33-70, 2013.

  3. Jose Gaintzarain Ibarmia. Invariant-Free Deduction Systems for Temporal Logic. Ph.D. Thesis. Department of Computer Languages and Systems, University of the Basque Country, Spain, May 2012.

  4. Michael Fisher. An Introduction to Practical Formal Methods Using Temporal Logic. John Wiley & Sons, Ltd, Chichester, UK, 2011.

  5. Jose Gaintzarain, Paqui Lucio. Logical Foundations for Resolution-based Temporal Logic Programming Languages. Technical Report UPV/EHU-LSI-TR-02-2011, Dpto de Lenguajes y Sistemas Informáticos, UPV-EHU.

  6. Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning. Appears in
  7. Jose Gaintzarain, Paqui Lucio. A New Approach to Temporal Logic Programming. In IX Jornadas sobre Programación y Lenguajes, PROLE’2009, San Sebastián, Spain, September, 2009.

  8. Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, and Fernando Orejas. Invariant-Free Clausal Temporal Resolution. Abstract of the talk given at the School of Electronics and Computer Science, University of Westminster, Seminars in Computer Science, London, United Kingdom, 27 November 2009. SEMINARS/seminars.html