Minimal reduct for propositional circumscription.

Publication
Frontiers Artif. Intell.
Zhongtao Xie
Zhongtao Xie
PhD Graduate

Ph.D. candidate