/en/tag/logic-programming/Logic ProgrammingHugo Blox Builder (https://hugoblox.com)en-USWed, 01 Jan 2020 00:00:00 +0000/media/logo_hu_1cb1abbd18ed2a70.png/en/tag/logic-programming//en/projects/nsfc-61976065/Wed, 01 Jan 2020 00:00:00 +0000/en/projects/nsfc-61976065/<p><strong>Funding Source:</strong> National Natural Science Foundation of China (NSFC)<br> <strong>Project Number:</strong> 61976065<br> <strong>Amount:</strong> 610,000 Yuan<br> <strong>Duration:</strong> 2020.01 - 2023.12</p> <h2 id="team-members">Team Members</h2> <ul> <li>Yisong Wang (PI)</li> <li>Jia-huai You</li> <li>Mingyi Zhang</li> <li>Xiaonan Zhou</li> <li>Zhengli Wang</li> <li>Ying Zhang</li> <li>Yi Huang</li> <li>Wei Wang</li> <li>Panfeng Chen</li> <li>Renyan Feng</li> </ul> <h2 id="project-description">Project Description</h2> <p>Research on inductive learning of disjunctive logic programs and its application.</p>