cURL Error: Could not resolve host: surukam.net
Computer-science-and-engineering0
Artificial Intelligence IIT Kgp (View More...)
| Resolution in FOPL | lec15 | 03:00 to 06:15 | VIDEO | |
| Resolution in FOPL | lec15 | 12:27 to 15:31 | VIDEO | |
| Resolution in FOPL | lec15 | 15:31 to 19:07 | VIDEO |
Artificial Intelligence-PD (View More...)
| Resolution Refutation Proofs | lec11 | 00:28 to 00:33 | VIDEO | |
| Resolution Refutation Proofs | lec12 | 00:05 to 00:05 | VIDEO | |
| Resolution Refutation Proofs | lec12 | 00:05 to 00:06 | VIDEO |
Discrete Mathematical Structures (View More...)
| Resolution Principles and Application to Prolog | lec6 | 02:26 to 04:18 | VIDEO | |
| Resolution Principles and Application to Prolog | lec6 | 04:18 to 05:15 | VIDEO | |
| Resolution Principles and Application to Prolog | lec6 | 05:38 to 7:37 | VIDEO |
Logic for CS (View More...)
| Resolution in FOL | lec29 | 35:28 to 49:49 | VIDEO | |
| More on Resolution in FOL | lec30 | 36:30 to upto | VIDEO | |
| Resolution: Soundness and Completeness | lec31 | 14:29 to 24:35 | VIDEO |
No Records Found