A decidable spatial generalization of metric interval temporal logic

Proceedings - 17th International Symposium on Temporal Representation and Reasoning, TIME 2010

Volumn , Issue , 2010, Pages 95-102

  Bresolin, Davide ^a   Sala, Pietro ^a   Montanari, Angelo ^b   Della, Monica ^b   Sciavicco, Guido ^c  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c UNIVERSITY OF MURCIA   (Spain)

Author keywords

Computational complexity; Decidability; Interval temporal logics; Spatial logics

Indexed keywords

CALCULATIONS; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; COMPUTER CIRCUITS; FORMAL LOGIC;

BLOW-UP; EXPRESSIVE POWER; INTERVAL TEMPORAL LOGIC; NATURAL NUMBER; SATISFIABILITY PROBLEMS; SPATIAL LOGIC; SPATIAL PROPERTIES; TEMPORAL REASONING;

TEMPORAL LOGIC;

EID: 84911422236     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2010.22     Document Type: Conference Paper

References (24)

1. D. Bresolin, A. Montanari, V. Goranko, and G. Sciavicco, "Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths;," in Proc. of the 7th IEEE Conference on Software Engeneering and Formal Methods (SEFM), 2009, pp. 240 - 249.
2. A. Cohn and S. Hazarika, "Qualitative spatial representation and reasoning: An overview," Fundamenta Informaticae, vol. 46, no. 1-2, pp. 1-29, 2001.
3. M. Aiello, I. Pratt-Hartmann, and J. V. Benthen, Eds., Handbook of Spatial Logics. Springer, 2007.
4. B. Bennett, "Spatial reasoning with propositional logics," in Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR). Morgan Kaufmann, 1994, pp. 51-62.
5. --, "Modal logics for qualitative spatial reasoning," Journal of the Interest Group in Pure and Applied Logic (IGPL), vol. 4, no. 1, pp. 23-45, 1996.
6. B. Bennett, A. Cohn, F. Wolter, and M. Zakharyaschev, "Multi-dimensional modal logic as a framework for spatiotemporal reasoning," Applied Intelligence, vol. 17, no. 3, pp. 239-251, 2002.
7. W. Nutt, "On the translation of qualitative spatial reasoning problems into modal logics," in Proc. of the 23rd Annual German Conference on Artificial Intelligence (KI). Springer- Verlag, 1999, pp. 113-124.
8. M. Aiello and J. van Benthem, "A modal walk through space," Journal of Applied Non-Classical Logic, vol. 12, no. 3-4, pp. 319-363, 2002.
9. R. Kontchakov, I. Pratt-Hartmann, F. Wolter, and M. Zakharyaschev, "On the computational complexity of spatial logics with connectedness constraints," in Proc. of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), ser. LNCS, vol. 5330. Springer Verlag, 2008, pp. 574-589.
10. C. Lutz and F. Wolter, "Modal logics of topological relations," in Proc. of the 5th Conference on Advances in Modal Logics, 2004.
11. H. Guesguen, "Spatial reasoning based on Allen's temporal logic," International Computer Science Institute, Tech. Rep. ICSI TR89-049, 1989.
12. A. Mukerjee and G. Joe, "A qualitative model for space," in Proc. of the 8th National Conference on Artificial Intelligence (AAAI), 1990, pp. 721-727.
13. P. Balbiani, J. Condotta, and L. F. del Cerro, "A model for reasoning about bidimensional temporal relations." in Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR). Morgan Kaufmann, 1998, pp. 124-130.
14. --, "A new tractable subclass of the rectangle algebra." in Proc. of the 16th International Joint Conference on Artificial Intelligence (IJCAI), 1999, pp. 442-447.
15. Y. Venema, "Expressiveness and completeness of an interval tense logic," Notre Dame Journal of Formal Logic, vol. 31, no. 4, pp. 529-547, 1990.
16. M. Marx and M. Reynolds, "Undecidability of compass logic," Journal of Logic and Computation, vol. 9, no. 6, pp. 897-914, 1999.
17. A. Morales, I. Navarrete, and G. Sciavicco, "A new modal logic for reasoning about space: spatial propositional neighborhood logic," Annals of Mathematics and Artificial Intelligence, vol. 51, no. 1, pp. 1-25, 2007.
18. V. Goranko, A. Montanari, and G. Sciavicco, "Propositional interval neighborhood temporal logics," Journal of Universal Computer Science, vol. 9, no. 9, pp. 1137-1167, 2003.
19. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, "A tableau-based system for spatial reasoning about directional relations," in Proc. of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), ser. LNCS, vol. 5607. Springer, 2009, pp. 123-137.
20. J. Condotta, "The augmented interval and rectangle networks," in Proc. of the 7th International Conference on Principles of Knowledge (KR), 2000, pp. 571-579.
21. S. Dutta, "Approximate spatial reasoning: Integrating qualitative and quantitative constraints," International Journal of Approximated Reasoning, vol. 5, no. 3, pp. 307-330, 1991.
22. M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, "From topology to metric: modal logic and quantification in metric spaces," in Proc. of the 6th Conference on Advances in Modal Logic, 2006, pp. 429-448.
23. U. Hustadt, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, "Automated reasoning about metric and topology," in Proc. of the 10th European Conference on Logics in Artificial Intelligence (JELIA), 2006, pp. 490-493.
24. O. Kutz, F. Wolter, H. Sturm, N. Suzuki, and M. Zakharyaschev, "Logics of metric spaces," ACM Transactions on Computational Logic, vol. 4, no. 2, pp. 260-294, 2003.