CS6374 - Computational Logic

CS 6374 Computational Logic (3 semester credit hours) Deductive, inductive and abductive reasoning, logic-based knowledge representation and reasoning. Logic programming, constraint programming, and the Prolog language. Non-monotonic reasoning, answer set programming, and automating common sense reasoning. Applications of the above. Prerequisites: CS 5343. (3-0) Y