On FO2 quantifier alternation over words

Manfred Kufleitner Pascal Weil

Published in: CoRR (2009)

Keyphrases

word sense disambiguation
first order logic
keywords
transitive closure
english words
information retrieval
artificial intelligence
text documents
relational model
word segmentation
proper nouns