Manolis Gergatsoulis. Temporal and modal logic programming languages. In Allen Kent, and James G. Williams (Executive Editots), Encyclopedia of Microcomputers, Vol. 27, Supplement 6, pp. 393-408, Marcel Dekker, Inc., New York, 2001.

CITATIONS

  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. 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.

  3. J. W. Lloyd and K. S. Ng. Declarative programming for agent applications. Autonomous Agents and multi-agent systems, 23(2):224-272, Springer 2011.

  4. 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.

  5. Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D' Hondt. Forward Chaining in HALO: An Implementation Strategy for History-based Logic Pointcuts. Computer Languages, Systems and Structures, 35(1):31-47, April 2009.

  6. Vitor Beires Nogueira. Temporal reasoning in a logic programming language with modularity. Ph.D. Thesis. Departamento de Informática, Universidade de Évora, Portugal, Dezembro de 2008.

  7. Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak. Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks.  Mathematics in Computer Science, 2(1):143-163, November, 2008.

  8. Mehmet A. Orgun. Querying Historical Data Over Multiple Time-Lines. Mathematics in Computer Science, 2(1):165-191, November, 2008.

  9. Verónica Uquillas Gómez. Introducing Temporal Logic into Declarative Meta Programming. Master Thesis. Department of Computer Science,  Vrije Universiteit Brussels, Belgium, August, 2008.

  10. John W. Lloyd. Declarative Programming for Artificial Intelligence Applications. In Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming, pages 123 - 124, ACM Press 2007.

  11. J. W. Lloyd, K. S. Ng, J. Veness. Modal Functional Logic Programming. 2007.

  12. Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D' Hondt. Forward Chaining in HALO: An Implementation Strategy for History-based Logic Pointcuts. Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007, 157-182, ACM International Conference Proceeding Series, Vol. 286, ACM Press 2007.

  13. John W. Lloyd. Knowledge Representation and Reasoning in Modal Higher-order Logic. 2006.

  14. Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, and Renate Schmidt. Computational modal logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, Handbook of Modal Logic, chapter 4, pages 181-245. Elsevier, 2006.

  15. Charlotte Herzeel. A Temporal Logic Language for Context-Dependence in Crosscuts. Diploma Thesis. Vrije Universiteit Brussel, Belgium, June 2006.

  16. Adrian Williams, Jim Cunningham. Motivation for a resolution system for a class of prefixed formulas. Tenth Workshop on Automated Reasoning, Liverpool, UK, April 15-16, 2003.