Prioritized Reasoning in Logic Programming

All Papers

This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of the comparison method of the Answer Set Optimization semantics is presented. The paper introduces the concept of choice, as a set of preference rules describing common choice options in different contexts.