Login / Signup
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.
Thiago Alves Rocha
Ana Teresa C. Martins
Francicleber Martins Ferreira
Published in:
LSFA (2018)
Keyphrases
</>
quantifier elimination
minimal subsets
higher order
natural language
first order logic
horn clauses
real numbers
rank order
mutual reinforcement
multi document summarization
natural language processing
wordnet
ranked list