Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences.
Christopher J. AshPublished in: Ann. Pure Appl. Log. (1992)
Keyphrases
- propositional logic
- multi valued
- first order logic
- search space
- multi document summarization
- natural language
- sentence level
- linguistic features
- extractive summarization
- text summarization
- default logic
- dynamic programming
- probabilistic logic
- relational databases
- knowledge base
- machine translation system
- statistical relational learning
- semantic representations
- syntactic structures
- recursive functions
- neural network