Language
中文
Mobile

Heng Zhang

School

College of Intelligence and Computing

Professional Title

Associate professor

Other Contact Information

Selected Papers

Current position: Heng Zhang's Homepage > Academic Achievements > Selected Papers

First-order expressibility and boundedness of disjunctive logic programs

Hits:

Journal:IJCAI 2013

All the Authors:Heng Zhang, Yan Zhang

First Author:Heng Zhang

Indexed by:Unit Twenty Basic Research

Correspondence Author:Heng Zhang

Translation or Not:no

Pre One:Disjunctive logic programs with existential quantification in rule heads.

Next One:Translating first-order theories into logic programs

Address: No. 92, Weijin Road, Nankai District, Tianjin Zip Code: 300072

Click: / The Last Update Time:--