Definability of Languages by Generalized First-Order Formulas over (N, +).
Amitabha RoyHoward StraubingPublished in: STACS (2006)
Keyphrases
- first order logic
- expressive power
- horn clauses
- finite model theory
- propositional logic
- higher order
- logical formulas
- relational calculus
- action theories
- language independent
- fixed point
- quantifier free
- real numbers
- function free horn
- cross lingual
- databases
- situation calculus
- context free
- predicate calculus
- finitely representable
- target language
- grammatical inference
- text summarization
- knowledge base
- information retrieval