Proof-finding Algorithms for Classical and Subclassical Propositional Logics.

Martin W. Bunder R. M. Rizkalla

Published in: Notre Dame J. Formal Log. (2009)

Keyphrases

computational cost
data sets
machine learning
theoretical analysis
orders of magnitude
expressive power
classical methods
data mining
optimization problems
machine learning algorithms
combinatorial optimization
computational properties
nonmonotonic logics