Search for tag: "logic"

Informatics: 60 years of history – Alan Bundy - The Early Years of AI and Cognitive Science in Edinburgh

Informatics: 60 years of history – Alan Bundy - The Early Years of AI and Cognitive Science in EdinburghPlease note: This recording contains automated captioning, it might not always be…

From  Stuart Mckerlie 0 likes 53 plays 0  

Student Perspective: Introduction to Edinburgh

3rd year Informatics student, Donald Jennings, tells us about his first two years studying at the University of Edinburgh. His presentation covers: 1st year at Edinburgh Optional Courses 2nd year…

From  Nicola Hopper 0 likes 53 plays 0  

Computational Interlude - Week 8 - Jia Loy - part 2_3

2nd part of Computational Interlude 2 for Introduction to Cognitive Science 2021-22, Jia Loy

From  Alistair Isaac 0 likes 62 plays 0  

FNLP 19c

Compositional Semantics: Technical Details

From  Alex Lascarides 0 likes 160 plays 0  

FNLP 19b

Formal Semantics Representations: Some First Steps

From  Alex Lascarides 0 likes 124 plays 0  

Regression Techniques: Gloria Gheno

This talk has been automatically captioned. You can remove these by pressing CC on the video toolbar. Name: Gloria Gheno Talk Title: A new link function for frequentist beta…

From  Belle Taylor 0 likes 18 plays 0  

School of Informatics Sample Undergraduate Lecture

School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)

From  Nicola Hopper 0 likes 24 plays 0  

Gloria Gheno EVA Talk Preview

This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Gloria Gheno Talk Title: A new link function for frequentist beta regression Abstract: The beta regression…

From  Anna Munro 0 likes 22 plays 0  

Critical Thinking in Global Challenges

The videos in this playlist will give you the opportunity to better understand what critical thinking is, and to practice and enhance your critical thinking skills. To do so, we will use the context…

From  Geoff Fortescue 0 likes 39 plays 0  

Ancient Lecture 6.1

From  Damian Caluori 0 likes 38 plays 0  

15.a

The first video of the Inf2d lecture on Situation Calculus.

From  Claudia-Elena Chirita 0 likes 186 plays 0  

12.c

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

From  Claudia-Elena Chirita 0 likes 180 plays 0  

10.c

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

From  Claudia-Elena Chirita 0 likes 203 plays 0  

10.b

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

From  Claudia-Elena Chirita 0 likes 251 plays 0  

10.a

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

From  Claudia-Elena Chirita 0 likes 248 plays 0  

8.a

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

From  Claudia-Elena Chirita 0 likes 239 plays 0