Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. M. Abadi and Z. Manna. Nonclausal Deduction in First-Order Temporal Logic. ACM Journal, 37(2):279–317, April 1990.
2. A. Cavalli and L. Fariñas del Cerro. A Decision Method for Linear Temporal Logic. In R. E. Shostak, editor, Proceedings of the 7th International Conference on Automated Deduction, volume 170 of Lecture Notes in Computer Science, pages 113–127. Springer-Verlag, 1984.
3. C. Dixon, M. Fisher, and H. Barringer. A Graph-Based Approach to Resolution in Temporal Logic. In Temporal Logic, First International Conference, ICTL '94, Proceedings, volume 827 of Lecture Notes in Artificial Intelligence, Bonn, Germany, July 1994. Springer-Verlag.
4. C. Dixon. Strategies for Temporal Resolution. PhD thesis, Department of Computer Science, University of Manchester, 1995.
5. C. Dixon. Temporal Resolution: A Breadth-First Search Approach. In Proceedings of TIME-96 the Third International Workshop on Temporal Representation and Reasoning, Key West, Florida, May 1996.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Theorem Proving Using Clausal Resolution: From Past to Present;Lecture Notes in Computer Science;2021
2. Labelled Superposition for PLTL;Logic for Programming, Artificial Intelligence, and Reasoning;2012
3. Invariant-Free Clausal Temporal Resolution;Journal of Automated Reasoning;2011-12-02
4. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26
5. TRP++ 2.0: A Temporal Resolution Prover;Automated Deduction – CADE-19;2003