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 - Search & Logic)
139 ratings

Explore our Catalog

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