Using Otter for Temporal Resolution-Reference-Cited by-同舟云学术

Using Otter for Temporal Resolution

Published:2000 Issue: Volume: Page:149-166
ISSN:1386-2790
Container-title:Applied Logic Series
language:
Short-container-title:

Author:

Dixon Clare

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-015-9586-5_8

Reference21 articles.

1. Y. Auffray and P. Enjalbert. Modal Theorem Proving: An Equational Viewpoint. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 441-445, Detroit, USA, 1989. Morgan Kaufmann.

2. H. Barringer. Using Temporal Logic in the Compositional Specification of Concurrent Systems. In A. P. Galton, editor, Temporal Logics and their Applications, chapter 2, pages 53–90. Academic Press Inc. Limited, London, December 1987.

3. M.-C. Chan. The Recursive Resolution Method for Modal Logic. New Generation Computing, 5: 155–183, 1987.

4. M. Carlsson and J. Widen. SICStus Prolog User’s Manual. Swedish Institute of Computer Science, Kista, Sweden, September 1991.

5. C. Dixon. Strategies for Temporal Resolution. PhD thesis, Department of Computer Science, University of Manchester, 1995.

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

1. Theorem Proving Using Clausal Resolution: From Past to Present;Lecture Notes in Computer Science;2021

2. Propositional Temporal Proving with Reductions to a SAT Problem;Automated Deduction – CADE-24;2013

3. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26

4. TRP++ 2.0: A Temporal Resolution Prover;Automated Deduction – CADE-19;2003