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. In: 6th Workshop on practical aspects of automated reasoning (PAAR-2018), 2018-7-19 - 2018-7-19, Oxford, UK.

Text paper(1).pdf - Author Accepted Manuscript 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:	19 Jan 2023 01:33
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3021922