The Complexity of Clausal Fragments of LTL.

Alessandro Artale Roman Kontchakov Vladislav Ryzhikov Michael Zakharyaschev

Published in: CoRR (2013)

Keyphrases

computational complexity
model checking
decision problems
theorem proving
worst case
computational cost
real time
data sets
search algorithm
temporal logic
defeasible logic
decision procedures