Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP.

Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Browse the full ICLP paper archive.