Formal & Physical Sciences Astronomy & CosmologyENDiscworlds: Flat Earths & Alderson DiscsIsaac ArthurMarch 4, 2016 22 min★ ★ ★ ★ ☆ 4/5MegastructuresAlderson DiskDiscworld
Formal & Physical Sciences MathematicsENLa régression de PoissonThierry AncelleFebruary 28, 2016 38 min★ ★ ★ ★ ☆ 4/5Poisson RegressionEpidemiologyBiostatistics
Formal & Physical Sciences PhysicsENHonors Physics Colloquium (2016Sp) - Lecture #12William HarterFebruary 28, 2016 78 min★ ★ ★ ★ ☆ 4/5Classical MechanicsHarmonic OscillatorGravitation
Formal & Physical Sciences Engineering & TechnologyENMegastructures 05 ShellworldsIsaac ArthurFebruary 27, 2016 13 min★ ★ ★ ★ ☆ 4/5MegastructuresShellworldsSpace Colonization
Formal & Physical Sciences AI — Models & ResearchENNatural Language SemanticsArtificial Intelligence (channel)February 25, 2016 30 min★ ★ ★ ★ ☆ 4/5Conceptual DependencyNatural Language UnderstandingKnowledge Representation
Formal & Physical Sciences Computing & CybersecurityENThe Cut Operator in PrologArtificial IntelligenceFebruary 24, 2016 35 min★ ★ ★ ★ ☆ 4/5PrologCut OperatorLogic Programming
Formal & Physical Sciences PhysicsENHonors Physics Colloquium (2016Sp) - Lecture #11William HarterFebruary 24, 2016 74 min★ ★ ★ ★ ☆ 4/5Classical MechanicsPotential TheoryHarmonic Oscillator
Life & Natural Systems Astronomy & CosmologyENAstroMcGill Public Astro Night: Into the Heart of the Milky WayDr. Daryl HaggardFebruary 20, 2016 80 min★ ★ ★ ★ ☆ 4/5Black HolesMilky WaySagittarius A*
Formal & Physical Sciences AI — News & ApplicationsENThe Event Calculus: Reasoning About ChangeArtificial IntelligenceFebruary 12, 2016 36 min★ ★ ★ ★ ☆ 4/5Event CalculusKnowledge RepresentationReasoning About Change
Formal & Physical Sciences PhysicsENRipple Effects: A Forum on Gravitational WavesPerimeter Institute for Theoretical PhysicsFebruary 12, 2016 39 min★ ★ ★ ★ ☆ 4/5Gravitational WavesLIGOBlack Holes
Formal & Physical Sciences AI — Models & ResearchENResource Description Framework (RDF)Artificial IntelligenceFebruary 12, 2016 33 min★ ★ ★ ★ ☆ 4/5RDFSemantic WebKnowledge Representation
Formal & Physical Sciences AI — Models & ResearchENEnglish to CD TheoryArtificial IntelligenceFebruary 12, 2016 33 min★ ★ ★ ★ ☆ 4/5Conceptual DependencyNatural Language ProcessingKnowledge Representation
Formal & Physical Sciences Astronomy & CosmologyENVictoria Kaspi Public Lecture: The Cosmic Gift of Neutron StarsVictoria KaspiFebruary 4, 2016 69 min★ ★ ★ ★ ★ 5/5Neutron StarsPulsarsAstrophysics
Formal & Physical Sciences AI — Models & ResearchENTop Down and Bottom Up ReasoningArtificial IntelligenceFebruary 4, 2016 31 min★ ★ ★ ★ ☆ 4/5PAMNatural Language UnderstandingTop-Down Reasoning
Formal & Physical Sciences AI — News & ApplicationsENStructure Matching - ExampleArtificial IntelligenceFebruary 4, 2016 27 min★ ★ ★ ★ ☆ 4/5Description LogicsKnowledge RepresentationStructure Matching
Formal & Physical Sciences AI — News & ApplicationsENStructure MatchingArtificial Intelligence (channel)February 4, 2016 27 min★ ★ ★ ★ ☆ 4/5Description LogicsSubsumptionKnowledge Representation
Formal & Physical Sciences AI — Models & ResearchENSemantic Nets and FramesArtificial IntelligenceFebruary 4, 2016 34 min★ ★ ★ ★ ☆ 4/5Semantic NetsFramesKnowledge Representation
Formal & Physical Sciences AI — News & ApplicationsENSearch in PrologArtificial IntelligenceFebruary 4, 2016 26 min★ ★ ★ ★ ☆ 4/5PrologDepth-First SearchRecursion
Formal & Physical Sciences Computing & CybersecurityENScriptsArtificial Intelligence (channel)February 4, 2016 32 min★ ★ ★ ★ ☆ 4/5ScriptsKnowledge RepresentationNatural Language Understanding
Formal & Physical Sciences AI — Models & ResearchENReification and Abstract EntitiesArtificial IntelligenceFebruary 4, 2016 33 min★ ★ ★ ★ ☆ 4/5Knowledge RepresentationReificationAbstract Entities
Formal & Physical Sciences Computing & CybersecurityENPrologArtificial Intelligence (channel)February 4, 2016 38 min★ ★ ★ ★ ☆ 4/5PrologLogic ProgrammingBackward Chaining
Formal & Physical Sciences AI — News & ApplicationsENPlan Applier MechanismArtificial IntelligenceFebruary 4, 2016 30 min★ ★ ★ ★ ☆ 4/5PAMStory UnderstandingNatural Language Processing
Formal & Physical Sciences AI — Models & ResearchENNormalisationArtificial IntelligenceFebruary 4, 2016 30 min★ ★ ★ ★ ☆ 4/5Description LogicsKnowledge RepresentationOntology
Formal & Physical Sciences AI — Models & ResearchENNatural Language SemanticsArtificial Intelligence (channel)February 4, 2016 31 min★ ★ ★ ★ ☆ 4/5Conceptual DependencyNatural Language UnderstandingKnowledge Representation
Formal & Physical Sciences AI — News & ApplicationsENM7 Lec 2 - The Resolution Refutation method for First Order LogicArtificial IntelligenceFebruary 4, 2016 31 min★ ☆ ☆ ☆ ☆ 1/5ResolutionFirst-Order LogicArtificial Intelligence
Formal & Physical Sciences AI — News & ApplicationsENLogic ProgrammingArtificial Intelligence (channel)February 4, 2016 33 min★ ★ ★ ★ ☆ 4/5Logic ProgrammingPrologBackward Chaining
Formal & Physical Sciences AI — News & ApplicationsENIntroductionArtificial IntelligenceFebruary 4, 2016 43 min★ ★ ★ ★ ☆ 4/5Description LogicsKnowledge RepresentationArtificial Intelligence
Formal & Physical Sciences MathematicsENIncompletenessArtificial IntelligenceFebruary 4, 2016 29 min★ ★ ★ ★ ☆ 4/5LogicResolutionCompleteness
Formal & Physical Sciences AI — News & ApplicationsENGoals, Plans and ActionsArtificial Intelligence (channel)February 4, 2016 29 min★ ★ ★ ★ ☆ 4/5AINatural Language UnderstandingPlans
Formal & Physical Sciences MathematicsENFOL with EqualityArtificial IntelligenceFebruary 4, 2016 30 min★ ★ ★ ★ ☆ 4/5First-Order LogicEqualityResolution
Formal & Physical Sciences AI — Models & ResearchENDL: ExtensionsArtificial IntelligenceFebruary 4, 2016 32 min★ ★ ★ ★ ☆ 4/5Description LogicsKnowledge RepresentationSemantic Web
Formal & Physical Sciences AI — Models & ResearchENDL: ALCArtificial Intelligence (channel)February 4, 2016 30 min★ ★ ★ ★ ☆ 4/5Description LogicALCTableau Method
Formal & Physical Sciences AI — News & ApplicationsENControlling SearchArtificial IntelligenceFebruary 4, 2016 32 min★ ★ ★ ★ ☆ 4/5PrologLogic ProgrammingCut
Formal & Physical Sciences AI — News & ApplicationsENComplexity of Resolution RefutationArtificial IntelligenceFebruary 4, 2016 40 min★ ★ ★ ★ ☆ 4/5ResolutionComplexityHorn Clauses
Formal & Physical Sciences MathematicsENClause FormArtificial IntelligenceFebruary 4, 2016 35 min★ ★ ★ ★ ☆ 4/5ResolutionFirst-Order LogicCompleteness
Formal & Physical Sciences AI — Models & ResearchENClassificationArtificial IntelligenceFebruary 4, 2016 31 min★ ★ ★ ★ ☆ 4/5Description LogicsClassificationTaxonomy
Formal & Physical Sciences AI — Models & ResearchENCD Theory (contd)Artificial IntelligenceFebruary 4, 2016 32 min★ ★ ★ ★ ☆ 4/5Conceptual DependencyKnowledge RepresentationNatural Language Processing
Formal & Physical Sciences AI — News & ApplicationsENCD TheoryArtificial IntelligenceFebruary 4, 2016 31 min★ ★ ★ ★ ☆ 4/5Conceptual DependencyNatural Language ProcessingKnowledge Representation
Formal & Physical Sciences AI — Models & ResearchENBackward ChainingArtificial IntelligenceFebruary 4, 2016 36 min★ ★ ★ ★ ☆ 4/5Backward ChainingLogic ProgrammingProlog
Formal & Physical Sciences AI — News & ApplicationsENApplying ScriptsArtificial IntelligenceFebruary 4, 2016 27 min★ ★ ★ ★ ☆ 4/5ScriptsSAMConceptual Dependency