Search for tag: "clause"

Grammaticalization I - Case Study 2 - Modal auxiliaries

Grammaticalization I - Case Study 2 - Modal auxiliaries

From  Betty Los on February 9th, 2021 0 likes 71 plays 0  

14.b

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

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 125 plays 0  

14.a

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

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 138 plays 0  

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 129 plays 0  

13.b

The second video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 154 plays 0  

13.a

The first video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 181 plays 0  

Grammaticalization I - Case Study 1 - to-infinitive

Grammaticalization I - Case Study 1 - to-infinitive - Historical linguistics

From  Betty Los on February 6th, 2021 0 likes 98 plays 0  

8.a

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

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 196 plays 0  

8.b

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

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 167 plays 0  

CL - 22 - Tseytin Satisfaction DPLL

N/A

From  Haoran Peng on December 1st, 2020 0 likes 98 plays 0  

CL - 11e - CNF by KM (II)

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 197 plays 0  

CL - 11d - Tseytin

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 304 plays 0  

CL - 12f - Cycles

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.

From  Haoran Peng on November 9th, 2020 0 likes 284 plays 0  

CL - 12a - Order

This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…

From  Haoran Peng on November 9th, 2020 0 likes 316 plays 0  

Curtailing Contractual Wriggle-Out in the Shadow of Covid - Marc Moore

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…

From  Iain Mcgee on November 4th, 2020 0 likes 3 plays 0  

CL - 7c - Language I

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…

From  Haoran Peng on November 1st, 2020 0 likes 371 plays 0