Related Courses
CS395T, Spring 2003 Answer Set Programming at University of Texas at Austin, USA
CS616: Knowledge Representation and Reasoning at University of Manchester, UK