On the Logical Definability of Some Rational Trace Languages.
Christian ChoffrutLeucio GuerraPublished in: STACS (1993)
Keyphrases
- expressive power
- language independent
- propositional logic
- text summarization
- decision making
- fixed point
- syntactic and semantic dependencies
- data sets
- logical structure
- multi agent systems
- search engine
- probabilistic logic
- statistical machine translation
- genetic algorithm
- multi lingual
- logical reasoning
- description languages
- logical theories
- rationality postulates
- databases