Zero-One Laws for Existential First-Order Sentences of Bounded Quantifier Depth.
Moumanti PodderMaksim ZhukovskiiPublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- quantifier elimination
- depth map
- first order logic
- constraint propagation
- depth information
- functional programming
- natural language
- higher order
- query answering
- neural network
- multi document summarization
- fuzzy measures
- logical formulas
- extractive summarization
- stochastic dominance
- dependency structure
- automatic summarization
- rough sets
- information retrieval