Simplifying A Logic Program Using Its Consequences.

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

Browse the full IJCAI paper archive.