Lecture 6 -Resolution Principles & Application to PROLOG
Loading...
Loading...
20,688
Loading...
There is no Interactive Transcript.
Top Comments
see all
All Comments (9)
-
thanks
-
@xxlee65xx its right, my mistake
-
mistake : not S or E should be right
-
LOL The closed captions can't understand her!
-
@xuniluser That's what I was wondering..
-
Why is that the (not)X was disregarded in the second example using resolution?
-
I am not able to view the videos.
I'm getting the screen--"An error occured, please try again later"
I checked some random videos like 7,8...16 and I can view them.
Loading...
54:51
Lecture - 6 Semanticsby nptelhrd8,889 views- 1:01:45
Lecture-6-The Gradientby nptelhrd30,301 views
- 54:57
Lecture 7 - Methods of Proofby nptelhrd38,670 views
- 57:28
Lecture - 6 Protein Structure 4by nptelhrd23,050 views
- 54:58
Lecture - 6 Structured Query Language IIby nptelhrd44,221 views
- 57:09
Lecture - 6 Data Path Architectureby nptelhrd32,867 views
- 55:21
Lecture 8 - Differentiable functionby nptelhrd18,194 views
- 50:18
Lecture 9 - Mean Value Theoremsby nptelhrd19,189 views
- 59:55
Lecture - 8 Knowledge Based Systems: Logic and Deductionby nptelhrd17,291 views
- 57:34
Lecture - 7 Algebraic Specification Methodsby nptelhrd11,220 views
- 57:07
Lecture 35-Algebrasby nptelhrd11,166 views
- 55:52
Lecture 21 - Order Relationsby nptelhrd10,792 views
- 57:36
Lecture 2 - Propositional Logic (Contd.)by nptelhrd51,164 views
- 59:46
Lecture 7 - Uniform Continuityby nptelhrd16,663 views
- 54:44
Lecture 10 - Maxima - Minimaby nptelhrd20,990 views
- 53:35
Lecture - 8 3D Viewingby nptelhrd6,748 views
- 57:23
Lecture 16 - Treesby nptelhrd18,922 views
- 59:50
Lecture - 9 First Order Logicby nptelhrd33,161 views
- 59:48
Lecture - 15 Prolog: Exercising Controlby nptelhrd8,748 views
- 58:08
Lecture - 12 Data Modelling - ER Diagrams, Mappingby nptelhrd57,276 views
Very Very good.. I have been refering people to this lecure as its very hard to explain .. but you do a great job
logicmoo 4 years ago 4
You know how PROLOG part can be described in one logical sentence ???
it is " BHEJA FRY " :-)
mohitsharmaonline 2 years ago