Search for tag: "conjunction"

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  

12.a

The first video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 168 plays 0  

7.c

Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 189 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  

CL - Lecture 4c - Conjunction

In this video, we try to arrive at the conjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 510 plays 0  

16b

Introduction to PDDL

From  Alexandra Lascarides on June 28th, 2020 0 likes 161 plays 0