∀∀-sentences is decidable.

Dorella Bellè Franco Parlamento

Published in: J. Symb. Log. (2006)

Keyphrases

natural language
multi document summarization
training data
text summarization
transitive closure
data sets
machine learning
first order logic
sentence level
syntactic structures
question answering
semantic representations
dependency structure
sentence similarity
extractive summarization
computation tree logic