The Spectra of First-Order Sentences and Computational Complexity.
Etienne GrandjeanPublished in: SIAM J. Comput. (1984)
Keyphrases
- computational complexity
- first order logic
- natural language
- special case
- high computational complexity
- higher order
- np complete
- computationally efficient
- extractive summarization
- rate distortion
- principal component analysis
- np hard
- logical formulas
- syntactic structures
- text corpus
- semantic roles
- low complexity
- multi document summarization
- memory requirements
- storage requirements
- training data
- neural network
- machine translation system
- decision problems
- spectral data
- bit rate
- quantifier elimination
- linear temporal logic
- stochastic dominance
- information retrieval