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

Loading...
From the course by 国立台湾大学
人工智慧(Artificial Intelligence)
133 ratings

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.