AMT 457 2.0 An Introduction to Answer Set Prolog

Course: AMT 457 2.0 An Introduction to Answer Set Prolog (Compulsory)

Course content:

Syntax & Semantics of Answer Set Prolog; Modeling Common Sense Reasoning; Answer Set Programming; ASP Reasoning Methods; Modeling Dynamic Domains; Planning and Diagnostics; ASP Solvers Clingo and Dlv; Introduction to SPARC.

Recommended Readings:

1. 1. Gelfond M., Kahl Y. – Knowledge Representation, Reasoning, and the Design of Intelligent Agents- The Answer-Set Programming Approach
   2. M. Balduccini and M. Gelfond: Diagnostic Reasoning with A-Prolog – Theory and Practice of Logic Programming, 3(4-5):425-461, Jul. 2003
   3. M. Gelfond and N. Leone: Logic Programming and Knowledge Representation – A-Prolog Perspective – Artificial Intelligence, 2002