Logic and Logic Programming 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. Not offered on a regular basis. Credit Hours: 4 Prerequisites: [CSCI (ARTI) 4540/6540 and PHIL (LING)4 510/6510] or Permission of Department Level: Graduate
