The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs.

Yan Zhang, Yun Bai

Browse the full ISMIS paper archive.