Search for tag: "logic"

15.a

The first video of the Inf2d lecture on Situation Calculus.

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

12.c

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

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

10.c

Third video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 151 plays 0  

10.b

Second video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 186 plays 0  

10.a

First video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 183 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 189 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 184 plays 0  

8.c

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

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

7.b

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

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

0.1

A lecture video presenting a brief introduction to AI. We discuss the meaning of the word intelligence and we look at a short history of the field.

From  Claudia-Elena Chirita on January 6th, 2021 0 likes 226 plays 0  

Introduction – Claudia Chirita

Meet the lecturers of Inf2D: Claudia Chirita.

From  Claudia-Elena Chirita on January 4th, 2021 0 likes 101 plays 0  

NLU+ Lecture 4: Perceptrons

Perceptrons

From  Ruairi O'Hare on December 22nd, 2020 0 likes 12 plays 0  

CL - 22 - Tseytin Satisfaction DPLL

N/A

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

CL - 21 - CNF KM Gentzen Tseytin

N/A

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