中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [7]
采集方式
OAI收割 [7]
内容类型
会议论文 [5]
期刊论文 [2]
发表日期
2011 [2]
2010 [1]
2009 [2]
2007 [2]
学科主题
Computer S... [1]
Software E... [1]
Theory & ... [1]
筛选
浏览/检索结果:
共7条,第1-7条
帮助
限定条件
存缴方式:oaiharvest
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
发表日期升序
发表日期降序
the loop formula based semantics of description logic programs
期刊论文
OAI收割
Theoretical Computer Science, 2011, 卷号: 415, 页码: -
Yisong Wang
;
Jia-Huai You
;
Li Yan Yuan
;
Yi-Dong Shen
;
Mingyi Zhang
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/10/08
Semantic web
Answer sets
Description logic programs
Loop formulas
compiling answer set programs into event-driven action rules
会议论文
OAI收割
11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, Vancouver, BC, Canada, 16-May-20
Zhou Neng-Fa
;
Shen Yi-Dong
;
You Jia-Huai
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/10/10
Logic programming
loop formulas for description logic programs
会议论文
OAI收割
26th International Conference on Logic Programming, Edinburgh, SCOTLAND, JUL 16-19,
Wang Yisong
;
You Jia-Huai
;
Yuan Li Yan
;
Shen Yi-Dong
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/03/31
semantic web
description logic programs
answer sets
loop formulas
characterizations of stable model semantics for logic programs with arbitrary constraint atoms
期刊论文
OAI收割
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 卷号: 9, 期号: 4, 页码: 529-564
Shen Yi-Dong
;
You Jia-Huai
;
Yuan Li-Yan
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/03/18
answer set programing
abstract constraint atoms
stable model semantics
Gelfond-Lifschitz transformation
a default approach to semantics of logic programs with constraint atoms
会议论文
OAI收割
10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, GERMANY, SEP 14-18,
Shen Yi-Dong
;
You Jia-Huai
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/03/20
Atoms
Logic programming
a generalized gelfond-lifschitz transformation for logic programs with abstract constraints
会议论文
OAI收割
AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, Vancouver, BC, Canada, 37459
Shen Yi-Dong
;
You Jia-Huai
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/06/29
Constraint theory
Mathematical models
Mathematical transformations
Set theory
logic programs with abstract constraints: representaton, disjunction and complexities
会议论文
OAI收割
9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United states, 43966
You Jia-Huai
;
Yuan Li Yan
;
Liu Guohua
;
Shen Yi-Dong
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/06/29
Constraint theory
Problem solving
Set theory