Artificial Intelligence Chapter 13 The Propositional Calculus Biointelligence Lab School of Computer Sci. & Eng. Seoul National University.
1 CS 4700: Foundations of Artificial Intelligence Carla P. Gomes [email protected] Module: Propositional Logic: Inference (Reading R&N: Chapter 7)