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