Conditional independences in Bayesian networks

10 dezembro 2013, 11:00 • Rodrigo Ventura

Heuristics for variable selection. D-separation. Soundness and completeness. I-equivalence.

Problem solving

5 dezembro 2013, 11:00 • Luís Manuel Marques Custódio

Resolution in First Order Logic

Inference in Bayesian networks

5 dezembro 2013, 09:30 • Rodrigo Ventura

Computing the joint probability distribution. Exact inference. Variable elimination algorithm. Factors and operations on them.

Bayesian networks

3 dezembro 2013, 11:00 • Rodrigo Ventura

Independence and conditional independence. Structure of Bayesian networks.

Problem solving

28 novembro 2013, 11:00 • Luís Manuel Marques Custódio

First order logic inference

- Inference rules with universal and existencial quantifiers

- Unification

- Conversion to CNF