Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths

SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

Volumn , Issue , 2009, Pages 240-249

  Bresolin, Davide ^a   Goranko, Valentin ^b   Montanari, Angelo ^c   Sciavicco, Guido ^d  

^a UNIVERSITY OF VERONA   (Italy)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^c UNIVERSITY OF UDINE   (Italy)

^d UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDED MODEL; INTEGER CONSTRAINTS; INTERVAL STRUCTURES; INTERVAL TEMPORAL LOGIC; NATURAL NUMBER; NEIGHBORHOOD LOGIC; ORDERED DOMAINS; PERIODIC MODELS; RIGHT NEIGHBORHOOD; SATISFIABILITY CHECKING; TIME INTERVAL;

COMPUTABILITY AND DECIDABILITY; COMPUTER SOFTWARE; FORMAL METHODS;

TEMPORAL LOGIC;

EID: 77749267933     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2009.36     Document Type: Conference Paper

References (28)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. R. Alur and T. Henzinger. A really temporal logic. Journal of the ACM, 41:181-204, 1994.
3. T. Bolander, J. Hansen, and M. R. Hansen. Decidability of a hybrid duration calculus. Electronic Notes in Theoretical Computer Science, 174(6):113-133, 2007.
4. E. B̈orger, E. Gr̈adel, and Y. Gurevich. The Classical Decision Problem. Perspectives of Mathematical Logic. Springer, 1997.
5. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. In I. Cervesato, H. Veith, and A. Voronkov, editors, Proc. of 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2008), volume 5330 of LNCS, pages 590-604. Springer, 2008.
6. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Undecidability of interval temporal logics with the Overlap modality. In Proc. of 16th International Symposium on Temporal Representation and Reasoning (TIME 2009), pages 88-95. IEEE Computer Society Press, 2009.
7. D. Bresolin, V. Goranko, A. Montanari, and P. Sala. Tableau-based decision procedures for the logics of sub-interval structures over dense orderings. Journal of Logic and Computation, doi: 10.1093/logcom/exn063, 2008.
8. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco. On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. In Proc. of the International Symposium on Logical Foundations of Computer Science, volume 4514 of LNCS, pages 84-99. Springer, 2007.
9. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco. Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Annals of Pure and Applied Logic, doi: 10.1016/j.apal.2009. 07.003, 2009.
10. D. Bresolin, A. Montanari, and P. Sala. An optimal tableaubased decision algorithm for Propositional Neighborhood Logic. In Proceedings of STACS 2007, volume 4393 of LNCS, pages 549-560. Springer, 2007.
11. D. Bresolin, A. Montanari, and P. Sala. An optimal tableau for Right Propositional Neighborhood Logic over trees. In Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), pages 110-117, Montreal, Quebec, Canada, June 2008. IEEE Computer Society Press.
12. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco. Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. In Proc. of the 11th European Conference on Logics in AI, volume 5293 of LNAI, pages 62-75. Springer, 2008.
13. D. Bresolin, A. Montanari, and G. Sciavicco. An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning, 38(1-3):173-199, 2007.
14. Z. Chaochen, M. R. Hansen, and P. Sestoft. Decidability and undecidability results for duration calculus. In P. Enjalbert, A. Finkel, and K. W. Wagner, editors, STACS'93, volume 665 of LNCS, pages 58-68. Springer-Verlag, 1993.
15. Z. Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
16. N. Chetcuti-Serandio and L. F. D. Cerro. A mixed decision method for duration calculus. Journal of Logic and Computation, 10:877-895, 2000.
17. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38(4):935-962, 1991.
18. M. R. Hansen and Z. Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing, 9:283-330, 1997.
19. Y. Hirshfeld and A. Rabinovich. Logics for real time: Decidability and complexity. Fundamenta Informaticae, 1(62):1-28, 2004.
20. H. Kautz and P. Ladkin. Integrating metric and qualitative temporal reasoning. In National Conference on Artificial Intelligence, pages 241-246, 1991.
21. R. Koymans. Specifying real-time properties with metric temporal logic. Real Time Systems, 2(4):255-299, 1990.
22. A. Montanari and M. de Rijke. Two-sorted metric temporal logic. Theoretical Computer Science, 183(2):187-214, 1997.
23. A. Montanari and A. Policriti. Executing metric temporal logic. In Proceedings of the IJCAI'97 Workshop on Programming in Temporal and Non Classical Logics, Nagoya, Japan, 1997.
24. B. Moszkowski. Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University, Stanford, CA, 1983.
25. J. Ouaknine and J. Worrell. Some recent results in metric temporal logic. In FORMATS, pages 1-13, 2008.
26. G. Sciavicco. Quality checking of medical guidelines using interval temporal logics (preliminary report). In Proceedings of the 12th Conferencia Asociacíon Española para la Inteligencia Artificial (CAEPIA 2007), volume 2, pages 249-258, 2007.
27. G. Sciavicco, J. Juarez, and M. Campos. Quality checking of medical guidelines using interval temporal logics: A case-study. In Proceedings of the 3rdth International Work-conference on the Interplay between Natural and Artificial Computation (IWINAC 2009), volume 5602 of LNCS, pages 158-167, 2009.
28. C. Zhou and M. R. Hansen. Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science. Springer, 2004.