Template iterations with non-definable ccc forcing notions.

Diego Alejandro Mejía

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

template matching
matching algorithm
approximation spaces
answer sets
optimal solution
first order logic
genetic algorithm
video sequences
search space
rough sets
transitive closure
stopping criterion
logical equivalence