章衡
- 教师名称：章衡
- 教师拼音名称：Heng Zhang
- 性别：男
- 职称：副教授
其他联系方式
- 邮箱：
Disjunctive logic programs with existential quantification in rule heads.
点击次数:
发表刊物:Theory and Practice of Logic Programming
合写作者:Jia-Huai You, Heng Zhang, Yan Zhang
第一作者:Jia-Huai You
论文类型:Unit Twenty Basic Research
卷号:13
期号:4-5
页面范围:563-578
是否译文:否
上一条:Existential rule languages with finite chase: Complexity and expressiveness 下一条:First-order expressibility and boundedness of disjunctive logic programs