Evaluating pre-processing techniques for the separated normal form for temporal logics



Hustadt, U ORCID: 0000-0002-0455-0267, Nalon, C and Dixon, C ORCID: 0000-0002-4610-9533
(2018) Evaluating pre-processing techniques for the separated normal form for temporal logics. .

[img] Text
paper(1).pdf - Accepted Version

Download (330kB)

Abstract

We consider the transformation of propositional linear time temporal logic formulae into a clause normal form, called Separated Normal Form, suitable for resolution calculi. In particular, we investigate the effect of applying various pre-processing techniques on characteristics of the normal form and determine the best combination of techniques on a large collection of benchmark formulae.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 31 May 2018 06:19
Last Modified: 02 Aug 2021 15:10
URI: https://livrepository.liverpool.ac.uk/id/eprint/3021922