Formal & Physical Sciences AI — News & ApplicationsENProperties and CategoriesArtificial Intelligence (channel)January 12, 2016 32 min★ ★ ★ ★ ☆ 4/5First-Order LogicKnowledge RepresentationReification