Word- and Tree-based Temporal Logics for Operator Precedence Languages.
Michele ChiariDino MandrioliMatteo PradellaPublished in: ICTCS (2019)
Keyphrases
- temporal logic
- mazurkiewicz traces
- model checking
- modal logic
- english text
- satisfiability problem
- n gram
- statistical machine translation
- language independent
- target language
- language specific
- modal operators
- co occurrence
- machine translation system
- compound words
- verification method
- predicate logic
- concurrent systems
- linear temporal logic
- indian languages
- word sense disambiguation
- temporal knowledge
- temporal resolution
- machine translation
- bilingual dictionaries
- belief revision
- word segmentation
- text summarization
- cross lingual
- multiword
- query translation
- bounded model checking
- partial order