Formal & Physical Sciences AI — Models & ResearchENNatural Language SemanticsArtificial Intelligence (channel)February 25, 2016 30 min★ ★ ★ ★ ☆ 4/5Conceptual DependencyNatural Language UnderstandingKnowledge Representation
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 AI — Models & ResearchENTop Down and Bottom Up ReasoningArtificial IntelligenceFebruary 4, 2016 31 min★ ★ ★ ★ ☆ 4/5PAMNatural Language UnderstandingTop-Down Reasoning
Formal & Physical Sciences AI — Models & ResearchENSemantic Nets and FramesArtificial IntelligenceFebruary 4, 2016 34 min★ ★ ★ ★ ☆ 4/5Semantic NetsFramesKnowledge Representation
Formal & Physical Sciences AI — Models & ResearchENReification and Abstract EntitiesArtificial IntelligenceFebruary 4, 2016 33 min★ ★ ★ ★ ☆ 4/5Knowledge RepresentationReificationAbstract Entities
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 — 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 — 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 — Models & ResearchENBackward ChainingArtificial IntelligenceFebruary 4, 2016 36 min★ ★ ★ ★ ☆ 4/5Backward ChainingLogic ProgrammingProlog
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
Formal & Physical Sciences AI — Models & ResearchENThe Rete AlgorithmArtificial IntelligenceJanuary 12, 2016 33 min★ ★ ★ ★ ☆ 4/5Rete AlgorithmExpert SystemsRule-Based Systems
Formal & Physical Sciences AI — Models & ResearchENThe OPS5 Expert System ShellArtificial IntelligenceJanuary 12, 2016 35 min★ ★ ★ ★ ☆ 4/5OPS5Expert SystemsForward Chaining
Formal & Physical Sciences AI — Models & ResearchENSyntaxArtificial IntelligenceJanuary 12, 2016 34 min★ ★ ★ ★ ☆ 4/5First-Order LogicSyntaxLogic
Formal & Physical Sciences AI — Models & ResearchENSemanticsArtificial IntelligenceJanuary 12, 2016 24 min★ ★ ★ ★ ☆ 4/5First-Order LogicSemanticsInterpretation
Formal & Physical Sciences AI — Models & ResearchENRete Algorithm - ExampleArtificial IntelligenceJanuary 12, 2016 30 min★ ★ ★ ★ ☆ 4/5Rete AlgorithmExpert SystemsForward Chaining
Formal & Physical Sciences AI — Models & ResearchENPropositional Logic: The Resolution Refutation MethodArtificial IntelligenceJanuary 12, 2016 33 min★ ★ ★ ★ ☆ 4/5Propositional LogicResolution RefutationConjunctive Normal Form
Formal & Physical Sciences AI — Models & ResearchENProgramming in a Rule Based LanguageArtificial IntelligenceJanuary 12, 2016 28 min★ ★ ★ ★ ☆ 4/5Rule-Based SystemsOPS5Rete Algorithm
Formal & Physical Sciences AI — Models & ResearchENIntroduction to Knowledge Representation and ReasoningArtificial IntelligenceJanuary 12, 2016 29 min★ ★ ★ ★ ☆ 4/5Knowledge RepresentationReasoningAI History
Formal & Physical Sciences AI — Models & ResearchENForward Chaining Rule Based SystemsArtificial IntelligenceJanuary 12, 2016 30 min★ ★ ★ ★ ☆ 4/5Forward ChainingRule-Based SystemsInference Engine
Formal & Physical Sciences AI — Models & ResearchENForward ChainingArtificial IntelligenceJanuary 12, 2016 36 min★ ★ ★ ★ ☆ 4/5Forward ChainingUnificationMost General Unifier
Formal & Physical Sciences AI — Models & ResearchENEntailment and ModelsArtificial IntelligenceJanuary 12, 2016 34 min★ ★ ★ ★ ☆ 4/5First-Order LogicSemanticsEntailment