Knowledge-Representation-and-Reasoning-Coursework Main topics: Semantic Tableaux Inference in a Kripke frame Belief Propagation in Bayesian Networks Estimating Bayesian Network based on extracted samples Hidden Markov Models (evaluation, learning, decoding - Viterbi Algorithm, Baum–Welch)