Search for tag: "logic"

60 Years of Computer Science & AI @ Edinburgh - Interview with Mark Jerrum

60 Years of Computer Science & AI @ Edinburgh - Interview with Mark Jerrum

From  Stuart Mckerlie 0 likes 13 plays 0  

Interview with Fernando Pereira - 60 Years of Computer Science & AI at Edinburgh

Interview with Fernando Pereira - 60 Years of Computer Science & AI at Edinburgh

From  Informatics at Edinburgh 0 likes 7 plays 0  

Jisc Online Surveys V3 Overview

This 1 hour video gives an overview of how to log in to Jisc Online Surveys v3, how to create a survey in Jisc Online Surveys V3, how to use different question types, how to set up question and page…

From  Jill MacKay 0 likes 88 plays 0  

Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh

Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh

From  Informatics at Edinburgh 0 likes 7 plays 0  

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 86 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 65 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 204 plays 0  

FNLP 19b

Formal Semantics Representations: Some First Steps

From  Alex Lascarides 0 likes 157 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 26 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 47 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 189 plays 0  

12.c

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

From  Claudia-Elena Chirita 0 likes 183 plays 0