Dealing with Multiple Granularity of Time in Temporal Logic Programming

• 1 November 1996
• journal article
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 22  (5-6) , 699-720
• https://doi.org/10.1006/jsco.1996.0072

Abstract

Keywords

• TEMPORAL LOGIC
• MULTIPLE GRANULARITY
• LOGIC PROGRAMMING
• DEALING WITH MULTIPLE