Manolis Gergatsoulis, Christos Nomikos. A proof procedure for temporal logic programming. International Journal of Foundations of Computer Science, 15(2):417-443, April 2004
CITATIONS
- Michael Fisher. An Introduction to Practical Formal Methods Using Temporal Logic. John Wiley & Sons, Ltd, Chichester, UK, 2011.
- Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning.
Appears in
http://www.eetn.gr/english/artificial_intelligence_topics_files/KnowledgeRepresentationReasoning.pdf