Unifying F-logic molecules: a rectification to the original unification algorithm.
Zeki BayramOmid SharifiPublished in: J. Log. Comput. (2016)
Keyphrases
- improved algorithm
- times faster
- theoretical analysis
- dynamic programming
- high accuracy
- detection algorithm
- k means
- learning algorithm
- experimental evaluation
- computational cost
- computational complexity
- cost function
- classification algorithm
- preprocessing
- input data
- probabilistic model
- simulated annealing
- maximum likelihood
- description logics
- segmentation algorithm
- evolutionary algorithm
- matching algorithm
- data structure
- artificial intelligence