Dagstuhl Seminar Proceedings. 05171 - Nonmonotonic Reasoning, Answer Set Programming and Constraints
Doi
Abstract
We show how Logic Programming with Ordered
Disjunction (LPOD), the extension of answer
set programming for handling preferences, may
be used for representing and solving collective
decision making problems. We present the
notion of combinatorial vote problem in the
context of LPOD and define various types of
vote rules, used as decision criteria for
determining optimal candidate for a group of voters.
15 min presentatio