A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction

Open in new window