Nesting negations in FO2 over infinite words.

Viktor Henriksson Manfred Kufleitner

Published in: CoRR (2020)

Keyphrases

first order logic
keywords
n gram
text documents
data mining
fuzzy sets
syntactic categories
relational model
fixpoint
genetic algorithm
text classification
wordnet
integrity constraints
text corpora
english words