Graphs and colorings for answer set programming

Kathrin Konczak, Thomas Linke, Torsten Schaub

We investigate the usage of rule dependency graphs and their colorings for characterizing and computing answer sets of logic programs. This approach provides us with insights into…