The Complexity of Clausal Fragments of LTL.

Alessandro Artale Roman Kontchakov Vladislav Ryzhikov Michael Zakharyaschev

Published in: LPAR (2013)

Keyphrases

inductive logic programming
knowledge base
computational complexity
worst case
constraint propagation
defeasible logic
database
neural network
machine learning
search algorithm
temporal logic
complexity analysis
decision procedures