Expressiveness of logic programs under the general stable model semantics

点击次数:

发表刊物:ACM Transactions on Computational Logic

合写作者:Heng Zhang, Yan Zhang

第一作者:Heng Zhang

论文类型:Unit Twenty Basic Research

卷号:18

期号:2

页面范围:9:1-9:28

是否译文:否

• 1.Expressiveness of Logic Programs under the General Stable Model Semantics.pdf

下一条:Expressive completeness of existential rule languages for ontology-based query answering