2 papers
cs.AI2005
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…
cs.AI2003
A semantic framework for preference handling in answer set programming
Torsten Schaub, Kewen Wang
We provide a semantic framework for preference handling in answer set programming. To this end, we introduce preference preserving consequence operators. The resulting fixpoint cha…