From Answer Set Logic Programming to Circumscription via Logic of GK.

Fangzhen Lin, Yi Zhou

Browse the full IJCAI paper archive.