章衡
- 教师名称：章衡
- 教师拼音名称：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
著作成果
暂无内容
专利成果
暂无内容