On the Computational Complexity of Spatio-Temporal Logics
暂无分享,去创建一个
Frank Wolter | Michael Zakharyaschev | Roman Kontchakov | Ágnes Kurucz | David Gabelaia | F. Wolter | M. Zakharyaschev | D. Gabelaia | R. Kontchakov | Á. Kurucz | F. Wolter
[1] A. Tarski. Der Aussagenkalkül und die Topologie , 1938 .
[2] Emil L. Post. A variant of a recursively unsolvable problem , 1946 .
[3] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[4] Bowman L. Clarke,et al. A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..
[5] A. Prasad Sistla,et al. The complexity of propositional linear temporal logics , 1982, STOC '82.
[6] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[7] Kit Fine,et al. Logics containing K4. Part I , 1974, Journal of Symbolic Logic.
[8] Bowman L. Clarke,et al. Individuals and points , 1985, Notre Dame J. Formal Log..
[9] Bogdan S. Chlebus. Domino-Tiling Games , 1986, J. Comput. Syst. Sci..
[10] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.
[11] Temporal Logic , 1994, Lecture Notes in Computer Science.
[12] D. Gabbay,et al. Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .
[13] Kai Zimmermann,et al. Measuring without Measures: The Delta-Calculus , 1995, COSIT.
[14] D. Peled,et al. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1 , 1995 .
[15] Brandon Bennett,et al. Modal Logics for Qualitative Spatial Reasoning , 1996, Log. J. IGPL.
[16] Oliver Lemon,et al. On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place , 1996, Advances in Modal Logic.
[17] A. Chagrov,et al. Modal Logic (Oxford Logic Guides, vol. 35) , 1997 .
[18] Bernhard Nebel,et al. Artificial intelligence: a computational perspective , 1997 .
[19] Jochen Renz,et al. On the Complexity of Qualitative Spatial Reasoning : A Maximal Tractable Fragment of RCC-8 , 1997 .
[20] Eliseo Clementini,et al. Qualitative Representation of Positional Information , 1997, Artif. Intell..
[21] Gérard Ligozat,et al. Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..
[22] Stefan Schwendimann. Aspects of Computational Logic , 1998 .
[23] Bernhard Nebel,et al. Spatial Reasoning with Topological Information , 1998, Spatial Cognition.
[24] Philippe Muller,et al. A Qualitative Theory of Motion Based on Spatio-Temporal Primitives , 1998, KR.
[25] Bernhard Nebel,et al. On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..
[26] Antony Galton,et al. Qualitative Outline Theory , 1999, IJCAI.
[27] B Shehtman Valentin,et al. “Everywhere” and “Here”. , 1999 .
[28] Frank Wolter,et al. Spatio-temporal representation and reasoning based on RCC-8 , 2000, International Conference on Principles of Knowledge Representation and Reasoning.
[29] Frank Wolter,et al. Spatial Reasoning in RCC-8 with Boolean Region Terms , 2000, ECAI.
[30] F. Wolter,et al. Fragments of first-order temporal logics , 2000 .
[31] Frank Wolter,et al. Decidable fragments of first-order modal logics , 2001, Journal of Symbolic Logic.
[32] M. Egenhofer,et al. Point-Set Topological Spatial Relations , 2001 .
[33] Michael Fisher,et al. Towards First-Order Temporal Resolution , 2001, KI/ÖGAI.
[34] Frank Wolter,et al. Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.
[35] J. Benthem,et al. Logical Patterns in Space , 2002 .
[36] U. Hustadt,et al. TRP + + : A temporal resolution prover ⋆ , 2002 .
[37] Frank Wolter,et al. Decidable and undecidable fragments of first-order branching temporal logics , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[38] Jochen Renz,et al. A Canonical Model of the Region Connection Calculus , 1997, J. Appl. Non Class. Logics.
[39] Jean-François Condotta,et al. Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning , 2002, FroCoS.
[40] F. Wolter,et al. Qualitative spatiotemporal representation and reasoning: a computational perspective , 2003 .
[41] Sebastian Bauer,et al. Monodic fragments of first-order temporal logics , 2004 .
[42] Carsten Lutz,et al. Temporalising Tableaux , 2004, Stud Logica.
[43] Richard Spencer-Smith,et al. Modal Logic , 2007 .