-
From Prasad Tadepalli
45 playsResolution Theorem Proving in First Order Logic -
From Prasad Tadepalli
13 playsInference in First Order Logic -
From Prasad Tadepalli
15 playsAI 531 - First Order Logic Notation, Knowledge Engineering and Inference -
From Prasad Tadepalli
11 playsAI 531: First Order Logic -
From Prasad Tadepalli
38 playsPropositional Satisfiability -
From Prasad Tadepalli
10 playsInference in Propositional Logic -
From Prasad Tadepalli
19 playsPropositional logic