The Set of Support strategy in temporal resolution

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1998, Pages 113-120

  Dixon, Clare ^a   Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL STRATEGIES; LARGE AMOUNTS; MECHANISATION; PROOF METHODS; RESOLUTION METHODS; TEMPORAL RESOLUTION;

MACHINERY;

EID: 84949958617     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1998.674140     Document Type: Conference Paper

References (22)

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. A. Cavali and L. Farinas del Cerro. A Decision Method for Linear Temporal Logic. In R. E. Shostak, editor, Proceedings of the 7th International Conference on Automated Deduction, pages 113-127. LNCS 170, 1984.
4. J. Chomicki and D. Niwinski. On the Feasibility of Checking Temporal Integrity Constraints. Journal of Computer and System Sciences, 51(3):523-535, December 1995.
5. C. Dixon. Strategies for Temporal Resolution. PhD thesis, Department of Computer Science, University of Manchester, Manchester M13 9PL, U.K., December 1995.
6. C. Dixon. Search Strategies for Resolution in Temporal Logics. In Proceedings of the Thirteenth International Conference on Automated Deduction (CADE), Lecture Notes in Computer Science. Springer-Verlag, August 1996.
7. C. Dixon. Temporal Resolution: Removing Irrelevant Information. In Proceedings of International Workshop on Temporal Reasoning (TIME), Daytona Beach, Florida, May 1997.
8. C. Dixon. Using Otter for Temporal Resolution. In Proceedings the Second International Conference on Temporal Logic (ICTL), Applied Logic Series, Manchester, U.K., July 1997. Kluwer. To appear.
9. M. Fisher. A Resolution Method for Temporal Logic. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI), Sydney, Australia, August 1991. Morgan Kaufman.
10. M. Fisher. A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation, 7(4), August 1997.
11. M. Fisher and C. Dixon. Guiding Clausal Temporal Resolution. In Proceedings the Second International Conference on Temporal Logic (ICTL), Applied Logic Series, Manchester, U.K., July 1997. Kluwer. To appear.
12. D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. The Temporal Analysis of Fairness. In Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages, pages 163-173, Las Vegas, Nevada, January 1980.
13. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992.
14. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
15. W. W. McCune. OTTER 2.0 Users Guide. Argonne National Laboratory, 9700 South Cass Avenue, Argonne, Illinois 60439-4801, March 1990. ANL-90/9.
16. M. Peim. Propositional Temporal Resolution Over Labelled Transition Systems. Unpublished Technical Note, Department of Computer Science, University of Manchester, 1994.
17. G. L. Peterson. Myths about the Mutual Exclusion Problem. Information Processing Letters, 12(3):115-116, 1981.
18. D. A. Plaisted and S. A. Greenbaum. A Structure-Preserving Clause Form Translation. Journal of Symbolic Computation, 2(3):293-304, September 1986.
19. A. P. Sistla, M. Vardi, and P. Wolper. The Complementation Problem for Buchi Automata with Applications to Temporal Logic. Theoretical Computer Science, 49:217-237, 1987.
20. G. Venkatesh. A Decision Method for Temporal Logic based on Resolution. Lecture Notes in Computer Science, 206:272-289, 1986.
21. P. Wolper. The Tableau Method for Temporal Logic: An overview. Logique et Analyse, 110-111:119-136, June-Sept 1985.
22. L. Wos, G. Robinson, and D. Carson. Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. ACM Journal, 12:536-541, October 1965.