Expert in AI Algorithms Theory(Search, Uncertainty, Logic, Machine learning)

I need someone that understands and can perform the theoretical calculations of

Uncertainty:
1. Bayesian Networks
2. Bayesian

Machine Learning:
1. Naive Bayes Classifier
2. Decision Tree Learning(DTL)

Search:
1. BFS
2. DFS
3. UCS

Logic:
1. First Order Logic
2. Conjunctive normal form