章衡
- 教师名称：章衡
- 教师拼音名称：Heng Zhang
- 性别：男
- 职称：副教授
其他联系方式
- 邮箱：
Existential rule languages with finite chase: Complexity and expressiveness
点击次数:
发表刊物:AAAI 2015
合写作者:Heng Zhang, Yan Zhang, Jia-Huai You
第一作者:Heng Zhang
论文类型:Unit Twenty Basic Research
通讯作者:Heng Zhang
是否译文:否
上一条:Query answering with inconsistent existential rules under stable model semantics 下一条:Disjunctive logic programs with existential quantification in rule heads.