Binnewies, Sebastian

1 publications

AAAI 2015 Partial Meet Revision and Contraction in Logic Programs Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang