Unifying F-logic molecules: a rectification to the original unification algorithm.

Zeki Bayram Omid Sharifi

Published 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