Author:
Fisher Michael,Owens Richard
Publisher
Springer Berlin Heidelberg
Reference68 articles.
1. M. Abadi and Z. Manna. Temporal Logic Programming. Journal of Symbolic Computation, 8: 277–295, 1989.
2. M. Abadi and Z. Manna. Nonclausal Deduction in First-Order Temporal Logic. ACM Journal, 37(2):279–317, April 1990.
3. M. Abadi. The Power of Temporal Proofs. Theoretical Computer Science, 64:35–84, 1989.
4. J. Allen and J. Koomen. Planning using a temporal world model. In Proc. IJCAI-83, pages 741–747, Karlsruhe, August 1983.
5. J. Allen. Maintaining Knowledge about temporal intervals. Comm. ACM, 26(11):832–843, November 1983.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献