Search for tag: "logic"

149 Media

60 Years of Computer Science & AI @ Edinburgh… duration 23 minutes 45 seconds 60 Years of Computer Science & AI @ Edinburgh… 60 Years of Computer Science & AI @ Edinburgh - Interview with Mark Jerrum	60 Years of Computer Science & AI @ Edinburgh - Interview with Mark Jerrum 60 Years of Computer Science & AI @ Edinburgh - Interview with Mark Jerrum school of informatics university of edinburgh informatics computer science algorithms mathematics point things analysis theory phd interest stage complexity logic impact problem problems stuff kind cambridge studies From Informatics at Edinburgh 0 likes 26 plays 0 Licence Type All rights reserved The University of Edinburgh Language English Date Created April 12th, 2024
Interview with Fernando Pereira - 60 Years of… duration 34 minutes 21 seconds Interview with Fernando Pereira - 60 Years of… Interview with Fernando Pereira - 60 Years of Computer Science & AI at Edinburgh	Interview with Fernando Pereira - 60 Years of Computer Science & AI at Edinburgh Interview with Fernando Pereira - 60 Years of Computer Science & AI at Edinburgh school of informatics university of edinburgh informatics language things lot society machine bit risks problems thing logic department learning engineering systems arrangements ai intelligence safety users reasons From Informatics at Edinburgh 0 likes 17 plays 0 Licence Type All rights reserved The University of Edinburgh Language English Date Created February 29th, 2024
Jisc Online Surveys V3 Overview duration 58 minutes 35 seconds Jisc Online Surveys V3 Overview Jisc Online Surveys V3 Overview	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… research methods online survey tools jisc online surveys tutorials question survey team questions path logic surveys statement validation response text teams choice bit participants consent disc description options types From Jill MacKay 0 likes 155 plays 0 Publisher R(D)SVS Licence Type Creative Commons - Attribution Language English Date Created February 1st, 2024 Retain Source File Yes
Philippa Gardner Distinguished Lecture - 60 Years… duration 29 minutes 45 seconds Philippa Gardner Distinguished Lecture - 60 Years… Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh	Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh schoolofinformatics universityofedinburgh informatics language specification verification programme phd gchq things computer mechanisation cambridge student thing companies lot field reason level bit logic separation From Informatics at Edinburgh 0 likes 13 plays 0 Licence Type All rights reserved The University of Edinburgh Language English Date Created November 23rd, 2023
Informatics: 60 years of history – Alan… duration 40 minutes 59 seconds Informatics: 60 years of history – Alan… 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 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… school of informatics edincsandaiat60 universityofedinburgh intelligence department machine idea language science christopher things programming problem phd teaching lot learning perception centre unit notes logic students From Informatics at Edinburgh 0 likes 92 plays 0 Licence Type All rights reserved The University of Edinburgh Language English Date Created January 25th, 2023
Student Perspective: Introduction to Edinburgh duration 10 minutes 49 seconds Student Perspective: Introduction to Edinburgh Student Perspective: Introduction to Edinburgh	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… school of informatics courses semester logic programming science informatics experience probability mathematics degree programme student uni systems end stuff calculus learning algebra coursework From Informatics at Edinburgh 0 likes 70 plays 0 Publisher UoE School of Informatics Licence Type All rights reserved The University of Edinburgh Language English Date Created July 28th, 2022
Computational Interlude - Week 8 - Jia Loy - part… duration 23 minutes 25 seconds Computational Interlude - Week 8 - Jia Loy - part… Computational Interlude - Week 8 - Jia Loy - part 2_3	Computational Interlude - Week 8 - Jia Loy - part 2_3 2nd part of Computational Interlude 2 for Introduction to Cognitive Science 2021-22, Jia Loy function script corpus word words things string comment programme functions instance stuff names lecture logic count times end lines idea From Alistair Isaac 0 likes 62 plays 0
FNLP 19c duration 34 minutes 38 seconds FNLP 19c FNLP 19c	FNLP 19c Compositional Semantics: Technical Details semantics semantic underspecification semantic scope lambda terms lambda abstraction beta reduction argument term man formula lambda noun phrase scope rice verb thing tree syntax phrases meaning interpretations logic woman purple From Alex Lascarides 0 likes 209 plays 0 Licence Type All rights reserved The University of Edinburgh
FNLP 19b duration 26 minutes 45 seconds FNLP 19b FNLP 19b	FNLP 19b Formal Semantics Representations: Some First Steps logical form syntax semantics compositionality first order logic logical inference commonsense inference recognising textual entailment rice logic meanings midnight sentence meaning representation inference language event toast forms john sentences fact words phrase rule From Alex Lascarides 0 likes 160 plays 0 Licence Type All rights reserved The University of Edinburgh
Regression Techniques: Gloria Gheno duration 11 minutes 33 seconds Regression Techniques: Gloria Gheno Regression Techniques: Gloria Gheno	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… eva cases logic beat knowledge function percent difference base beta farm goodness guy betcha error model choice study intercept estimates ic From Belle Taylor 0 likes 18 plays 0 Publisher Centre for Statistics Licence Type All rights reserved Language English Date Created July 3rd, 2021
School of Informatics Sample Undergraduate… duration 36 minutes 14 seconds School of Informatics Sample Undergraduate… School of Informatics Sample Undergraduate Lecture	School of Informatics Sample Undergraduate Lecture School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A) school of informatics proof b. haskell thing things a. logic term pair function rule curry programme lambda idea rules calculus languages types introduction From Informatics at Edinburgh 0 likes 29 plays 0 Publisher UoE School of Informatics Licence Type All rights reserved The University of Edinburgh Language English Date Created June 3rd, 2021
Gloria Gheno EVA Talk Preview duration 2 minutes 12 seconds Gloria Gheno EVA Talk Preview Gloria Gheno EVA Talk Preview	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… icms eva theory solution links function new beta regression analyses variables values monotonic logic asymmetric functions reprioritization betcha estimates login attitude method monotonicity ect monotone asymmetry symmetry selection lawgiver lead java From Anna Munro 0 likes 22 plays 0 Licence Type All rights reserved Language English
Critical Thinking in Global Challenges duration 3 minutes 0 seconds Critical Thinking in Global Challenges Critical Thinking in Global Challenges	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… ocp trailer thinking evidence challenges pressure skill argument ability prerequisite arguments nature week end student exercise definition concept lecture reasoning knowledge logic From Geoff Fortescue 0 likes 50 plays 0 Licence Type Creative Commons - Attribution Share A Like
Ancient Lecture 6.1 duration 10 minutes 36 seconds Ancient Lecture 6.1 Ancient Lecture 6.1	Ancient Lecture 6.1 aristotle ethics plato socrates writings reason notes scholars logic philosophy soul lecture appetite spirit lives matters athens macedonia focus texts From Damian Caluori 0 likes 38 plays 0
15.a duration 25 minutes 39 seconds 15.a 15.a	15.a The first video of the Inf2d lecture on Situation Calculus. inf2d reasoning and agents artificial intelligence situation calculus situation block action actions blocks logic table result situations robot goal agent moment agents move knowledge sentences predicates planning From Claudia-Elena Chirita 0 likes 189 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
12.c duration 9 minutes 47 seconds 12.c 12.c	12.c The third video of the Inf2d lecture on Inference in First-Order Logic. inf2d reasoning and agents artificial intelligence inference first-order logic backward chaining algorithm base knowledge query substitution goal depth variables function antecedent conjuncts rule unifies conclusion resolution programming fact j. acre substitutions From Claudia-Elena Chirita 0 likes 183 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English