抽象约束回答集程序关键问题及在语义Web中的应用研究

负责人员: 沈一栋

依托单位: 中国科学院软件研究所

浏览次数: 7

项目批准号： 60970045

项目名称： 抽象约束回答集程序关键问题及在语义Web中的应用研究

学科分类：登录查看

项目负责人：沈一栋

资助类别：登录查看

批准年份：登录查看

依托单位：中国科学院软件研究所

资助金额：登录查看

关键词：逻辑程序设计;回答集程序设计;语义Web;

起止时间：登录查看

查看中英文摘要请先登录

查看结题摘要请先登录

查看结题报告请先登录

每页显示:

序号	标题	类型	作者

序号	姓名	职称	单位
1	周能法	教授	The City University of New York
2	犹嘉槐	教授	Department of Computing Science,Alberta University
3	杜剑峰		中国科学院软件研究所
4	沈志勇		中国科学院软件研究所
5	苏柏		中国科学院软件研究所
6	孙军		中国科学院软件研究所
7	李炫		中国科学院软件研究所
8	周能法	教授	The City University of New York
9	犹嘉槐	教授	Department of Computing Science,Alberta University
10	杜剑峰		中国科学院软件研究所
11	沈志勇		中国科学院软件研究所
12	苏柏		中国科学院软件研究所
13	孙军		中国科学院软件研究所
14	李炫		中国科学院软件研究所
15	周能法	教授	The City University of New York
16	犹嘉槐	教授	Department of Computing Science,Alberta University
17	杜剑峰		中国科学院软件研究所
18	沈志勇		中国科学院软件研究所
19	苏柏		中国科学院软件研究所
20	孙军		中国科学院软件研究所
21	李炫		中国科学院软件研究所