Guest editors' preface to special issue on interval temporal logics.

Ben C. Moszkowski Dimitar P. Guelev Martin Leucker

Published in: Ann. Math. Artif. Intell. (2014)

Keyphrases

special issue
temporal logic
model checking
mazurkiewicz traces
satisfiability problem
modal logic

ai edam
concurrent systems
international journal
ecml pkdd
international workshop
temporal knowledge

verification method
applied intelligence
temporal resolution
predicate logic
reactive systems
transition systems

linear temporal logic
virtual machine
belief revision
linear time temporal logic
machine learning