Logical Definability of Some Rational Trace Languages.
Christian ChoffrutLeucio GuerraPublished in: Math. Syst. Theory (1995)
Keyphrases
- fixed point
- expressive power
- relational query languages
- decision making
- propositional logic
- language independent
- logical theories
- description languages
- logical properties
- language identification
- text summarization
- databases
- object oriented
- learning algorithm
- neural network
- belief revision
- multi agent systems
- logical representation
- natural language
- execution traces
- arabic language
- syntactic and semantic dependencies