Search for tag: "branches"

Coursework 1

This is the video presenting the first Coursework for Inf2D, Reasoning and Agents.

From  Claudia-Elena Chirita on January 21st, 2021 0 likes 128 plays 0  

2.c

This is the third video on Problem Solving and Search: we look at a general tree search algorithm – the first step towards searching strategies.

From  Claudia-Elena Chirita on January 10th, 2021 0 likes 202 plays 0  

CL - Lecture 4.j - Reduction 2

We use the rules to reduce a sequent to a conjunction of simple sequents, sequents that only mentions propositional letters, with no connectives, and no repetitions — in this example, we find…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 337 plays 0  

24a

Exact Inference in BNs: Variable Enumeration

From  Alexandra Lascarides on July 14th, 2020 0 likes 2 plays 0