A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4.
Serenella CerritoMarta Cialdea MayerPublished in: Log. J. IGPL (1997)
Keyphrases
- modal logic
- machine translation
- decision procedures
- functional dependencies
- cross language information retrieval
- data sets
- statistical machine translation
- belief change
- query translation
- case study
- belief revision
- learning algorithm
- genetic algorithm
- target language
- low order
- information retrieval
- database
- polynomial hierarchy
- randomized approximation