-
From Prasad Tadepalli
26 playsResolution Theorem Proving in First Order Logic -
From Prasad Tadepalli
12 playsInference in First Order Logic -
From Prasad Tadepalli
13 playsAI 531 - First Order Logic Notation, Knowledge Engineering and Inference -
From Prasad Tadepalli
7 playsAI 531: First Order Logic -
From Prasad Tadepalli
33 playsPropositional Satisfiability -
From Prasad Tadepalli
10 playsInference in Propositional Logic -
From Prasad Tadepalli
16 playsPropositional logic