Rondogiannis, Panos; Gergatsoulis, Manolis; Panayiotopoulos, Themis; "Cactus: A Branching-Time Logic Programming Language" pp511-524 (1997) |
Dov M. Gabbay, et al (1997) Dov M. Gabbay, et al "Qualitative and Quantitative Practical Reasoning" First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1244 Springer 1997,
|
|