Partial Meet Revision and Contraction in Logic Programs.

Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang

Browse the full AAAI paper archive.