Metric propositional neighborhood logics: Expressiveness, decidability, and undecidability

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 695-700

  Bresolin, D ^a   Della Monica, D ^b   Goranko, V ^c   Montanari, A ^b   Sciavicco, G ^d  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^d UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CALCULATIONS; COMPUTER CIRCUITS; TEMPORAL LOGIC;

'CURRENT; INTERVAL STRUCTURES; INTERVAL TEMPORAL LOGIC; LENGTH CONSTRAINTS; NATURAL NUMBER; NEIGHBORHOOD LOGIC; ORDERED DOMAINS; TIME INTERVAL; TIME POINTS; UNDECIDABILITY;

COMPUTABILITY AND DECIDABILITY;

EID: 77956033434     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-695     Document Type: Conference Paper

References (23)

1. J. F. Allen, 'Maintaining knowledge about temporal intervals', Communications of the ACM, 26(11), 832-843, (1983).
2. R. Alur and T.A. Henzinger, 'A really temporal logic', Journal of the ACM, 41, 181-204, (1994).
3. J.C. Augusto and C.D. Nugent, 'The use of temporal reasoning and management of complex events in smart home', in Proc. of the 16th European Conf. on Artificial Intelligence, pp. 778-782, (2004).
4. 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).
5. E. Börger, E. Grädel, and Y. Gurevich, The Classical Decision Problem, Perspectives of Mathematical Logic, Springer, 1997.
6. 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 Proc. of 15th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning, volume 5330 of LNCS, pp. 590-604. Springer, (2008).
7. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco, 'Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions', Annals of Pure and Applied Logic, 161(3), 289-304, (2009).
8. D. Bresolin, V. Goranko, A.Montanari, and G. Sciavicco, 'Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths', in Proc. of the 7th IEEE Conf. on Software Engeneering and Formal Methods, pp. 240-249, (2009).
9. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, 'A tableau-based system for spatial reasoning about directional relations', in Proc. of the 18th Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods, volume 5607 of LNCS, pp. 123-137. Springer, (2009).
10. 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).
11. Z. Chaochen and M. R. Hansen, Duration Calculus: A Formal Approach to Real-Time Systems, EATCS Monographs in Theoretical Computer Science, Springer, 2004.
12. N. Chetcuti-Serandio and L. Fariñas Del Cerro, 'A mixed decision method for Duration Calculus', Journal of Logic and Computation, 10, 877-895, (2000).
13. C. Combi and R. Rossato, 'Temporal constraints with multiple granularities in smart homes', in Designing Smart Homes, volume 4008 of LNCS, pp. 35-56, (2006).
14. M. Ghorbel, M.T. Segarra, J. Kerdreux, A. Thepaut, and M. Mokhtari, 'Networking and communication in smart home for people with disabilities', in Proc. of the 9th Int. Conf. on Computers Helping People with Special Needs, volume 3118 of LNCS, pp. 937-944, (2004).
15. V. Goranko, A. Montanari, and G. Sciavicco, 'Propositional interval neighborhood temporal logics', Journal of Universal Computer Science, 9(9), 1137-1167, (2003).
16. J. Halpern and Y. Shoham, 'A propositional modal logic of time intervals', Journal of the ACM, 38(4), 935-962, (1991).
17. Y. Hirshfeld and A.M. Rabinovich, 'Logics for real time: Decidability and complexity', Fundamenta Informaticae, 1(62), 1-28, (2004).
18. H.A. Kautz and P.B. Ladkin, 'Integrating metric and qualitative temporal reasoning', in Proc. of 9th AAAI Conf. on Artificial Intelligence, pp. 241-246, (1991).
19. A. Montanari and M. de Rijke, 'Two-sorted metric temporal logic', Theoretical Computer Science, 183(2), 187-214, (1997).
20. M. Otto, 'Two variable first-order logic over ordered domains', Journal of Symbolic Logic, 66(2), 685-702, (2001).
21. J. Ouaknine and J. Worrell, 'Some recent results in metric temporal logic', in Proc. of the 6th Int. Conf. on Formal Modelling and Analysis of Timed Systems, pp. 1-13, (2008).
22. G. Sciavicco, 'Temporal reasoning in propositional neighborhood logic', in Proc. of the 2nd Int. Conference on Language and Technology, pp. 390-395, (2005).
23. G. Sciavicco, J. Juarez, and M. Campos, 'Quality checking of medical guidelines using interval temporal logics: A case-study', in Proc. of the 3rd Int. Work-Conf. on the Interplay between Natural and Artificial Computation, volume 5602 of LNCS, pp. 158-167, (2009).