Block Products and Nesting Negations in FO2.

Lukas Fleischer Manfred Kufleitner Alexander Lauser

Published in: CSR (2014)

Keyphrases

fuzzy sets
first order logic
block wise
website
image blocks
block size
commercial products
database
databases
learning algorithm
information systems
computational complexity
knowledge representation
data management
fixpoint