CS7301: Advanced Computational Logic

CS7301: Advanced Computational Logic

Mon,Wed 4:00-5:15

Classroom: ECSS 2.312

http://www.utdallas.edu/~gupta/courses/acl

Instructor: Gopal Gupta, ECSS 4.907, 972-883-4107,

Office hours: 5:15-6:15MW

Topics:

1.  Logic-based Knowledge Representation

2.  Negation in logic

3.  Answer Set Programming

4.  SAT Solving

5.  Datalog

6.  Abductive reasoning

7.  Modal logics

8.  Temporal Logic

9.  Co-induction in logic

10.  Semantics of logic programming

11.  Description Logic

12.  Advanced applications

Requirements:

1.  Genuine interest in learning advanced stuff

2.  Knowledge of predicate logic & theorem proving

3.  Some advanced course involving reasoning/logic: CS 6364, CS 6371, or CS 6364

References: Foundation of Logic Programming by John W. Lloyd + a whole bunch of survey papers at the course home page

Course outline: Lectures by Professor, reading papers (and writing 1 page summaries), discussions, presenting papers. Each student to present a paper towards the end of the course.

Grading: if you worry about your grade in this class, you are in the wrong class J