A Method to Single out Maximal Propositional Logics with the Disjunction Property I.

Mauro Ferrari Pierangelo Miglioli

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

Keyphrases

experimental evaluation
significant improvement
high precision
objective function
prior knowledge
multiscale
cost function
pairwise
support vector machine
input data
theoretical analysis
optimization method