Fangzhen Lin | Omega-krr Group/en/author/fangzhen-lin/Fangzhen LinHugo Blox Builder (https://hugoblox.com)en-USSat, 01 Apr 2023 00:00:00 +0000/media/logo_hu17001059945427851307.pngFangzhen Lin/en/author/fangzhen-lin/Witnesses for Answer Sets of Logic Programs/en/publication/witnesses-for-answer-sets-of-logic-programs/Sat, 01 Apr 2023 00:00:00 +0000/en/publication/witnesses-for-answer-sets-of-logic-programs/A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms/en/publication/yisong-aaai-2012/Sun, 01 Jan 2012 00:00:00 +0000/en/publication/yisong-aaai-2012/<p>Add the <strong>full text</strong> or <strong>supplementary notes</strong> for the publication here using Markdown formatting.</p>Weight constraint programs with evaluable functions/en/publication/yisong-amai-2010/Fri, 01 Jan 2010 00:00:00 +0000/en/publication/yisong-amai-2010/<p>Add the <strong>full text</strong> or <strong>supplementary notes</strong> for the publication here using Markdown formatting.</p>Answer set programming with functions/en/publication/lw-kr-08/Tue, 01 Jan 2008 00:00:00 +0000/en/publication/lw-kr-08/<p>Add the <strong>full text</strong> or <strong>supplementary notes</strong> for the publication here using Markdown formatting.</p>First-Order Loop Formulas for Normal Logic Programs(🏆Ray Reiter Best paper🏆)/en/publication/clwz-06/Sun, 01 Jan 2006 00:00:00 +0000/en/publication/clwz-06/<p>Add the <strong>full text</strong> or <strong>supplementary notes</strong> for the publication here using Markdown formatting.</p>