A decision method for Duration Calculus

Journal of Universal Computer Science

Volumn 5, Issue 11, 1999, Pages 743-764

  Chetcuti Sperandio, Nathalie ^a   Del Cerro, Luis Fariñas ^a  

^a IRIT   (France)

Author keywords

Automated deduction; Duration Calculus; Tableau method

Indexed keywords

EID: 33947214547     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. [Allen 83] Allen, J. F.: "Maintaining Knowledge about Temporal Intervals"; Communications of the ACM, 26, 11 (1983), 832-843.
2. [Gerevini and Cristani 97] Gerevini, A., Cristani, M.: "On Finding a Solution in Temporal Constraint Satisfaction Problem"; Proc. IJCAI'97, Morgan Kaufmann, 2 (1997), 1460-1465.
3. [Hansen and Zhou 92] Hansen, M. R., Zhou, C.: "Semantics and Completeness of Duration Calculus"; In W.-P. de Roever, J. W. de Bakker, C. Huizing, and G. Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, volume 600 of Lecture Notes in Computer Science, Springer-Verlag (1992), 209-225.
4. [Hansen and Zhou 97] Hansen, M. R., Zhou, C.: "Duration Calculus : Logical Foundations"; Formal Aspects of Computing, BCS, Springer, 9, 3 (1997), 283-330.
5. [Moszkowski 85] Moszkowski, B.: "A Temporal Logic for Multilevel Reasoning about Hardware"; Computer, IEEE Computer Society, 18, 2 (1985), 10-19.
6. [Ravn, Rischel and Hansen 93] Anders P. Ravn, A. P., Rischel, H. and Hansen, K. M.: "Specifying and Verifying Requirements of Real-Time Systems"; IEEE Transactions on Software Engineering, Special Issue on Software for Critical Systems, 19, 1 (1993), 41-55.
7. [Skakkebaek and Sestoft 94] Skakkebaek, J. U., Sestoft, P.: "Checking Validity of Duration Calculus Formulas"; Technical Report ID/DTK JUS 3/1, Department of Computer Science, Technical University of Denmark, 2800 Lyngby, Denmark (1994), also appeared as electronic version, available at ftp://ftp.it.dtu.dk/pub/ProCoS/Jens.U.Skakkebaek/IDDTH-JUS-3-1.ps.Z.
8. [TABLEAUX'98] de Swart, H., editor, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'98, volume 1397 of Lecture Notes in Artificial Intelligence, Springer-Verlag (1998).
9. [TABLEAUX'99] Murray, N.V., editor, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99, volume 1617 of Lecture Notes in Artificial Intelligence, Springer-Verlag (1999).
10. [van Beek 90] van Beek, P.: "Exact and Approximate Reasoning about Qualitative Temporal Relations"; PhD thesis, University of Waterloo, Canada (1990).
11. [Zhou, Hoare and Ravn 91] Zhou, C., Hoare, C.A.R., Ravn, A. P.: "A calculus of durations"; information processing letters, North-Holland, 40, 5 (1991), 269-276.
12. [Zhou, Hansen and Sestoft 93] Zhou, C., Hansen, M. R., Sestoft, P.: "Decidability and Undecidability Results for Duration Calculus"; In P. Enjalbert, A. Finkel, and K. W. Wagner, editors, STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, volume 665 of Lecture Notes in Computer Science, Springer-Verlag (1993), 58-68.