This is the second part of the second Inf2d lecture on Resolution.

This is the first part of the second Inf2d lecture on Resolution.

The second video on the first Inf2d lecture on Resolution.

The first video on the first Inf2d lecture on Resolution.

The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

The second video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

N/A

Description Pending

In this video we look at another example, then consider graphs with a cycle of implications. If we have cycles of implications, then all nodes in the cycle must take the same truth value.

In this video we look at yet another pattern of implications, and apply our a method for counting the satisfying valuations.

We continue with the simple example and its representation in Haskell.

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

The Edinburgh Centre for Commercial Law welcomed Professor Marc Moore, Chair in Corporate/ Financial Law at UCL on the 28th of October 2020. Marc Moore was appointed to the Chair in…

This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.We begin with a simple example, a language of clausal forms in which the…