章衡
- 教师名称：章衡
- 教师拼音名称：Heng Zhang
- 性别：男
- 职称：副教授
其他联系方式
- 邮箱：
- Heng Zhang. Expressiveness of logic programs under the general stable model semantics. ACM Transactions on Computational Logic. 2017,18 (2):9:1-9:28
- Heng Zhang. Expressive completeness of existential rule languages for ontology-based query answering. IJCAI 2016. 2019
- Hai Wan. Query answering with inconsistent existential rules under stable model semantics. AAAI 2016. 2019
- Heng Zhang. Existential rule languages with finite chase: Complexity and expressiveness. AAAI 2015. 2019
- Jia-Huai You. Disjunctive logic programs with existential quantification in rule heads.. Theory and Practice of Logic Programming. 2019,13 (4-5):563-578
- Heng Zhang. First-order expressibility and boundedness of disjunctive logic programs. IJCAI 2013. 2019
- Heng Zhang. Translating first-order theories into logic programs. IJCAI 2011. 2019
- Heng Zhang, Mingsheng Ying. Decidable fragments of first-order language under stable model semantics and circumscription. AAAI 2010. 2019
| |