/zh/tag/%E6%9E%90%E5%8F%96%E9%80%BB%E8%BE%91%E7%A8%8B%E5%BA%8F/析取逻辑程序Hugo Blox Builder (https://hugoblox.com)zh-CNWed, 01 Jan 2020 00:00:00 +0000/media/logo_hu17001059945427851307.png/zh/tag/%E6%9E%90%E5%8F%96%E9%80%BB%E8%BE%91%E7%A8%8B%E5%BA%8F//zh/projects/nsfc-61976065/Wed, 01 Jan 2020 00:00:00 +0000/zh/projects/nsfc-61976065/<p><strong>资助来源：</strong> 国家自然科学基金（NSFC）<br> <strong>项目编号：</strong> 61976065<br> <strong>资助金额：</strong> 61万元<br> <strong>项目周期：</strong> 2020.01 - 2023.12</p> <h2 id="团队成员">团队成员</h2> <ul> <li>王一松（负责人）</li> <li>Jia-huai You</li> <li>张明义</li> <li>周孝楠</li> <li>王争立</li> <li>张颖</li> <li>黄奕</li> <li>王伟</li> <li>陈攀峰</li> <li>冯仁言</li> </ul> <h2 id="项目简介">项目简介</h2> <p>研究析取逻辑程序的归纳学习及其应用。</p>