A method for finding new sets of axioms for classes of semigroups.
João AraújoJanusz KoniecznyPublished in: Arch. Math. Log. (2012)
Keyphrases
- pairwise
- high accuracy
- cost function
- optimization algorithm
- support vector machine
- synthetic data
- preprocessing
- training set
- dynamic programming
- clustering method
- classification accuracy
- method finds
- segmentation method
- theoretical analysis
- maximum likelihood
- logic programs
- neural network
- probabilistic model
- experimental evaluation
- computational complexity
- training data
- similarity measure