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 43 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 29 plays 0  

LEL2A-W11-4

LEL2A: Week 11, Lecture 4.

From  Itamar Kastner 0 likes 126 plays 0  

LEL2A-W10-2

LEL2A: Week 10, Lecture 2.

From  Itamar Kastner 0 likes 136 plays 0  

LEL2A-W10-1

LEL2A: Week 10, Lecture 1.

From  Itamar Kastner 0 likes 127 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 128 plays 0  

FNLP 19b

Formal Semantics Representations: Some First Steps

From  Alex Lascarides 0 likes 94 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 regression Abstract:…

From  Belle Taylor 0 likes 17 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 20 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 34 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 181 plays 0  

12.c

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

From  Claudia-Elena Chirita 0 likes 177 plays 0  

10.c

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

From  Claudia-Elena Chirita 0 likes 197 plays 0