Liyan Yuan | Omega-krr Group/en/author/liyan-yuan/Liyan YuanHugo Blox Builder (https://hugoblox.com)en-USFri, 01 Jan 2010 00:00:00 +0000/media/logo_hu_1cb1abbd18ed2a70.pngLiyan Yuan/en/author/liyan-yuan/Loop Formulas for Description Logic Programs/en/publication/yisong-iclp-2010/Fri, 01 Jan 2010 00:00:00 +0000/en/publication/yisong-iclp-2010/<p>Add the <strong>full text</strong> or <strong>supplementary notes</strong> for the publication here using Markdown formatting.</p>Normal Description Logic Programs as Default Theories/en/publication/yisong-non-mon-30/Fri, 01 Jan 2010 00:00:00 +0000/en/publication/yisong-non-mon-30/<p>Add the <strong>full text</strong> or <strong>supplementary notes</strong> for the publication here using Markdown formatting.</p>