We extend the application of a voting procedure (usually defined on complete preference relations over candidates) when the voters’ preferences consist of partial orders.Expand

NoMoRe is an alternative implementation paradigm to compute answer sets by computing non-standard graph colorings of labeled directed graphs associated with logic programs.Expand

The non-monotonic reasoning system noMoRe implements answer set semantics for normal logic programs by computing non-standard graph colorings of the block graph associated with a given logic program (see [8],[9],[6] for details).Expand

NoMoRe implements answer set semantics for normal logic programs by computing a-colorings (non-standard graph colorings with two colors) of the block graph (a labeled digraph) associated with a given program P.Expand

In this paper we define the novel notion of strong equivalence for logic programs with preferences, which differs considerably from their relationship with respect to answer sets.Expand