Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness.

Vernon Asuncion, Yan Zhang, Heng Zhang

Browse the full KR paper archive.