Logic and Logic Programming Credit Hours: 4 Course Description: Theoretical foundations of automated reasoning and logic programming. Topics covered include propositional logic, predicate logic, first-order models, resolution principles, logic programming paradigms, nonmonotonic reasoning. Prerequisites: [CSCI(ARTI) 4540/6540 and PHIL(LING)4510/6510] or permission of department Level: Graduate