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 PhysicsENLes ondes gravitationnelles — À chaud ! #1Gravitational waves — Hot take! #1David LouapreFebruary 11, 2016 18 min★ ★ ★ ★ ☆ 4/5Gravitational WavesRelativityLIGO
Formal & Physical Sciences PhysicsENQuelques liens entre physique et musique (cours de L3)Some links between physics and music (L3 course)Richard TailletFebruary 5, 2016 92 min★ ★ ★ ★ ☆ 4/5Physique Des OndesCordes VibrantesAcoustique
Formal & Physical Sciences Science — General & HistoryENL'infiniThe infiniteDavid Louapre (ScienceEtonnante)February 5, 2016 15 min★ ★ ★ ★ ★ 5/5InfinitySet TheoryCantor
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
Formal & Physical Sciences AI — Models & ResearchENALC examplesArtificial Intelligence (YouTube channel)February 4, 2016 27 min★ ★ ★ ★ ☆ 4/5Description LogicTableau MethodALC
Formal & Physical Sciences AI — Models & ResearchENA-box reasoningArtificial IntelligenceFebruary 4, 2016 36 min★ ★ ★ ★ ☆ 4/5Description LogicsA-BoxReasoning
Applied Sciences & Engineering Engineering & TechnologyENMoon Base ConceptsIsaac ArthurFebruary 2, 2016 34 min★ ★ ★ ★ ☆ 4/5Moon BaseLunar ColonizationSpace Infrastructure
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Welcome addressMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 13 min★ ★ ★ ☆ ☆ 3/5TTIPISDSLuxembourg
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Round table - Expectations and Challenges of the TTIPMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 114 min★ ★ ★ ★ ☆ 4/5TTIPInvestor-State Dispute SettlementTrade Policy
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Panel 4 - Differences and Similarities between Investment and Commercial ArbitrationMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 59 min★ ★ ★ ★ ☆ 4/5Investment ArbitrationCommercial ArbitrationTTIP