Complexity and algorithms for reasoning about time-Reference-Cited by-同舟云学术

Complexity and algorithms for reasoning about time

Published:1993-11 Issue:5 Volume:40 Page:1108-1133
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Golumbic Martin Charles¹,Shamir Ron²

Affiliation:

1. IBM Israel Scientific Center, Technion City, Haifa, Israel, and Bar-Ilan University, Ramat Gan, Israel

2. Tel-Aviv University, Tel-Aviv, Israel

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference43 articles.

1. Maintaining knowledge about temporal intervals

2. ~BAKER K. R. F1SHBURN P. C. AND ROBERTS F.S. Partial orders of dimension 2. Networks ~2 (1972) 11-28. ~BAKER K. R. F1SHBURN P. C. AND ROBERTS F.S. Partial orders of dimension 2. Networks ~2 (1972) 11-28.

3. Counting endpoint sequences for interval orders and interval graphs

4. ~BELbER A. AND GOLUMBIC M. C. A combinatorial approach to temporal reasoning. In ~Proceedings of tile 5th Jen~salem Cortfereltce on Informattotz Technology (Oct.). 1EEE Com- ~puter Society Press 1990 774-780. ~BELbER A. AND GOLUMBIC M. C. A combinatorial approach to temporal reasoning. In ~Proceedings of tile 5th Jen~salem Cortfereltce on Informattotz Technology (Oct.). 1EEE Com- ~puter Society Press 1990 774-780.

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

1. Complexity Classification Transfer for CSPs via Algebraic Products;SIAM Journal on Computing;2024-09-12

2. Branching interval algebra: An almost complete picture;Information and Computation;2021-12

3. Towards Robust Qualitative Spatio-Temporal Reasoning for Hybrid AI Systems;2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE);2021-11-26

4. On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning;Information and Computation;2021-10

5. Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms;Artificial Intelligence;2021-07