Answer Sets: From Constraint Programming Towards Qualitative Optimization.

Gerhard Brewka

Browse the full LPNMR paper archive.