A complete system of deduction for Sigma formulas.

Published in: CoRR (2018)

Keyphrases

data sets
real world
data mining
genetic algorithm
artificial intelligence
knowledge base
clustering algorithm
video sequences
inference rules