Branching-time logic programming: the language Cactus and its applications
From MaRDI portal
Publication:4719299
DOI10.1016/S0096-0551(98)00009-5zbMath0948.68034MaRDI QIDQ4719299
Themis Panayiotopoulos, Manolis Gergatsoulis, Panos Rondogiannis
Publication date: 4 January 2000
Published in: Computer Languages (Search for Journal in Brave)
68N17: Logic programming
Related Items
Temporal disjunctive logic programming, Stratified negation in temporal logic programming and the cycle-sum test, A temporal programming model with atomic blocks based on projection temporal logic, Operational semantics of Framed Tempura, Temporal stratification tests for linear and branching-time deductive databases, A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING, Axiomatic semantics of projection temporal logic programs
Uses Software