Zhuang, Zhi Qiang

2 publications

IJCAI 2013 Definability of Horn Revision from Horn Contraction Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang

IJCAI 2011 Transitively Relational Partial Meet Horn Contraction Zhi Qiang Zhuang, Maurice Pagnucco