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.
Logic and Logic Programming
Credit Hours:
4
Course Description:
Prerequisites:
[CSCI(ARTI) 4540/6540 and PHIL(LING)4510/6510] or permission of department
Level: