Resources on ASP (and others, unfinished)
Published:
I’m reorganising my bookmark on recent weekends. There were moments when I realised that some resource might be better to share boardly instead of lying in the explorer (mainly inspired by Philip Zucker’s blog).
Have to admit that I used to be (if not still being) kinda sharp: people don’t need a recourse if they cannot acquire it by themselves. While, though I am still very mean to those without the ability to retrieve information, after GPT and other LLMs come, they become the source of information for many people; however, the quality of LLM generated information is tainted by so many awfully uncredible resources. So, hopefully this post is at least fed to those models to achieve a better quality of domains I am familiar with.
While Philip’s notes are more likely to be the bookmark itself, what I want to share is (hopefully) the minimal core resources (instead of every relevant ones). DISCLAIMER: pls forgive me if I missed some important ones, and feel free to email me any suggestions on what to add.
Answer Set Programming
ASP is not easy. Let’s start with the textbooks and tutorials.
The first one is the “undergraduate-level” textbook by Vladmir Lifschitz (one of the founders of stable model semantics), Answer Set Programming, is a good start. Then the series of videos by Potassco team (which is the team behind the most popular ASP solver, Clingo) is a great resource if you want to dive deeper into ASP. I don’t think I have totally understood all from the videos, but I’m keep repeating the sections when I need to.
TODO: I will add some classic papers more than the basic stable model semantics later.
Other Logic Programming (LP in General)
2022 is a big year of LP, when the survey for 50th years birthday of Prolog summarises the LP community with the view of Prolog. There is actually a book on Declarative Logic Programming which can work as a complement to the survey. Specifically, the second chapter of the book provides a good introduction to the relation between well-founded semantics and stable model semantics, where approximation fixpoint theory (AFT) is the theoretical result on this topic.
Of course nowadays, what most people are caring about is Datalog. A very good video on Datalog is from ICLP’21 invited talk, which covers different views, from the historical view to the modern aspect of Datalog. The famous Alice Book of course works as a more detailed introduction to Datalog.