Login / Signup
On Coarser Interval Temporal Logics and their Satisfiability Problem.
Emilio Muñoz-Velasco
Mercedes Pelegrín-García
Pietro Sala
Guido Sciavicco
Published in:
CAEPIA (2015)
Keyphrases
</>
satisfiability problem
temporal logic
mazurkiewicz traces
model checking
modal logic
sat instances
stochastic local search
stochastic local search algorithms
concurrent systems
sat problem
decision procedures
temporal knowledge
belief revision
max sat
temporal resolution
distributed systems
reinforcement learning
epistemic logic
transition systems
expert systems