1 paper
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…