janko-dev/asp

Answer Set programming repo with notes and examples

Notes, examples, and algorithms for Answer Set Programming

In this repository, I accumulated knowledge on the Answer Set Programming (ASP) paradigm. In the notes folder, a comprehensive document of lecture notes are provided, in which not only the formal aspects of ASP are described, such a solving and grounding, but also several applications are described, such as planning, diagnostics, and inductive learning. Furthermore, some of the exercises from the books on Answer Set Programming by Lifschitz and the book, knowledge Representation, and the Design of Intelligent Agents, by Gelfond and Khal are included. The examples folder includes a lot of useful applications.