6-4 Inference (ii) - Simple Knowledge, Resolution and CNF (i) - Proof by Resolution, CNF Conversion, Resolution Algorithm

Loading...
From the course by National Taiwan University
人工智慧(Artificial Intelligence)
94 ratings