Manolis Gergatsoulis. Extensions of the branching-time logic programming language Cactus. In Manolis Gergatsoulis, and P. Rondogiannis (eds.), Intensional Programming II, pp. 117-132, World Scientific, 2000. 


CITATIONS

  1. Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning. Appears in http://www.eetn.gr/english/artificial_intelligence_topics_files/KnowledgeRepresentationReasoning.pdf