Heng Zhang

最新发表

Heng Zhang, Mingsheng Ying (2010). Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL