Guest editors' preface to special issue on interval temporal logics.
Ben C. MoszkowskiDimitar P. GuelevMartin LeuckerPublished 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