Evidence Algorithm and Inference Search in First-Order Logics.
Alexander V. LyaletskiPublished in: J. Autom. Reason. (2015)
Keyphrases
- experimental evaluation
- search space
- dynamic programming
- search algorithm
- learning algorithm
- search strategy
- computational cost
- np hard
- cost function
- segmentation algorithm
- preprocessing
- search procedure
- times faster
- detection algorithm
- search efficiency
- computational complexity
- probabilistic model
- recognition algorithm
- objective function
- optimization algorithm
- inference rules
- loopy belief propagation
- convergence rate
- inference mechanism
- search methods
- inductive logic programming systems
- higher order
- matching algorithm
- parameter estimation
- expectation maximization
- simulated annealing
- neural network
- significant improvement
- k means
- lower bound
- optimal solution
- similarity measure
- genetic algorithm