Login / Signup
On the freeze quantifier in Constraint LTL: decidability and complexity
Stéphane Demri
Ranko Lazic
David Nowak
Published in:
CoRR (2006)
Keyphrases
</>
computational complexity
worst case
description logics
query answering
artificial intelligence
database
real time
neural network
knowledge base
space complexity
global constraints
linear constraints
linear temporal logic