The Set of Support Strategy in Temporal Resolution

Abstract

A variety of proof methods have been developed to support the effective mechanisation of temporal logic. While clausal temporal resolution has been successfully employed for a range of problems, a number of improvements are still required. In particular, as there is no consistent control strategy underlying the method, a large amount of irrelevant… (More)
DOI: 10.1109/TIME.1998.674140

Topics

1 Figure or Table

Cite this paper

@inproceedings{Dixon1998TheSO, title={The Set of Support Strategy in Temporal Resolution}, author={Clare Dixon and Michael Fisher}, booktitle={TIME}, year={1998} }