Interrelation between Weak Fragments of double Negation Shift and Related Principles.

Makoto Fujiwara Ulrich Kohlenbach

Published in: J. Symb. Log. (2018)

Keyphrases

neural network
feature selection
logic programs
closely related
genetic algorithm
computer vision
information systems
clustering algorithm
video sequences
logic programming
building blocks
fixpoint