Login / Signup
A general tableau method for propositional interval temporal logics: Theory and implementation.
Valentin Goranko
Angelo Montanari
Pietro Sala
Guido Sciavicco
Published in:
J. Appl. Log. (2006)
Keyphrases
</>
special case
temporal logic
computational complexity
knowledge base
spatial information