Omega-krr Group
Omega-krr Group
News
People
Current People
Alumni
Events
Research
Publication
Thesis
Honor
Projects
Patents
Software copyrights
Contact
Light
Dark
Automatic
Loop Formulas for Description Logic Programs
Yisong Wang
,
Jia-Huai You
,
Li Yan Yuan
,
Yi-Dong Shen
January 2010
Cite
DOI
Type
Journal article
Publication
CoRR
Cite
×