A Relevance-Directed Algorithm for Finding Justifications of DL Entailments.
Qiu JiGuilin QiPeter HaasePublished in: ASWC (2009)
Keyphrases
- times faster
- experimental evaluation
- improved algorithm
- computationally efficient
- detection algorithm
- np hard
- cost function
- computational complexity
- learning algorithm
- objective function
- probabilistic model
- high accuracy
- expressive power
- matching algorithm
- k means
- preprocessing
- dynamic programming
- path planning
- convergence rate
- optimization algorithm
- method finds
- segmentation algorithm
- expectation maximization
- particle swarm optimization
- input data
- linear programming
- simulated annealing
- scheduling problem
- computational cost
- significant improvement
- optimal solution