ML Anthology
Authors
Search
About
Binnewies, Sebastian
1 publications
AAAI
2015
Partial Meet Revision and Contraction in Logic Programs
Sebastian Binnewies
,
Zhiqiang Zhuang
,
Kewen Wang