Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning-Reference-Cited by-同舟云学术

Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning

Published:2002 Issue: Volume: Page:162-176
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
language:
Short-container-title:

Author:

Balbiani Philippe,Jean-François Condotta

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45988-X_13

Reference20 articles.

1. Allen, J.: Maintaining knowledge about temporal intervals. Communications of the Association for Computing Machinery 26 (1983) 832–843.

2. Balbiani, P., Condotta, J.-F.: Spatial reasoning about points in a multidimensional setting. Applied Intelligence, to appear.

3. Balbiani, P., Condotta, J.-F., Fariñas del Cerro, L.: A model for reasoning about bidimensional temporal relations. In Cohn, A., Schubert, L., Shapiro, S. (Eds.): Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann (1998) 124–130.

4. Balbiani, P., Osmani, O.: A model for reasoning about topologic relations between cyclic intervals. In Cohn, A., Giunchiglia, F., Selman, B. (Eds.): Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann (2000) 378–385.

5. Bennett, B.: Determining consistency of topological relations. Constraints 3 (1998)213–225.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. First Steps Towards Taming Description Logics with Strings;Logics in Artificial Intelligence;2023

2. The Complexity of Linear-Time Temporal Logic Model Repair;Structured Object-Oriented Formal Language and Method;2018

3. Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method;Lecture Notes in Computer Science;2015

4. On the axiomatizability of some first-order spatio-temporal theories;Synthese;2013-11-06

5. Spatial Logic + Temporal Logic = ?;Handbook of Spatial Logics;2007