Functions | Omega-krr Group/en/tag/functions/FunctionsHugo Blox Builder (https://hugoblox.com)en-USFri, 01 Jan 2010 00:00:00 +0000/media/logo_hu_1cb1abbd18ed2a70.pngFunctions/en/tag/functions/The Study and Implementation of Answer Set Programming with Functions/en/projects/nsfc-60963009/Fri, 01 Jan 2010 00:00:00 +0000/en/projects/nsfc-60963009/<p><strong>Funding Source:</strong> National Natural Science Foundation of China (NSFC)<br> <strong>Project Number:</strong> 60963009<br> <strong>Amount:</strong> 200,000 Yuan<br> <strong>Duration:</strong> 2010.01 - 2012.12</p> <h2 id="project-description">Project Description</h2> <p>The study and implementation of answer set programming with functions.</p>The Study and Implement of Answer Set Programming with Functions/en/projects/gzu-2007-042/Thu, 01 Jan 2009 00:00:00 +0000/en/projects/gzu-2007-042/<p><strong>Funding Source:</strong> Scientific Research Fund for Talents Recruiting of Guizhou University<br> <strong>Project Number:</strong> (2007)042<br> <strong>Amount:</strong> 40,000 Yuan<br> <strong>Duration:</strong> 2009.01 - 2011.12</p> <h2 id="project-description">Project Description</h2> <p>The study and implement of answer set programming with functions.</p>