Keyphrases
- expressive power
- functional language
- highly expressive
- computational properties
- language independent
- predicate logic
- databases
- modal logic
- cross lingual
- proof theory
- multi valued
- formal language
- table of contents
- multilingual information retrieval
- defeasible logic
- statistical machine translation
- classical logic
- logical framework
- logic programming
- multi lingual
- asynchronous circuits
- functional analysis
- target language
- query translation
- boolean functions