Limiting Negations in Formulas.

Hiroki Morizumi

Published in: ICALP (1) (2009)

Keyphrases

fuzzy sets
mathematical formulas
computer vision
real time
databases
genetic algorithm
pattern recognition
rough sets
horn formulas