Integrated Use of System Z for Preferred Answer Set Programming.

Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner

Browse the full FlAIRS paper archive.