中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
FLP answer set semantics without circular justifications for general logic programs [期刊论文]
Artificial Intelligence, 2014-01-01, 卷号: 213, 页码: 1-41
Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)

 
the loop formula based semantics of description logic programs [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 415, 页码: -
Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang

 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
loop formulas for description logic programs [会议论文]
26th International Conference on Logic Programming, Edinburgh, SCOTLAND, JUL 16-19,
Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong
  |  
 
enumerating proofs of positive formulae [期刊论文]
COMPUTER JOURNAL, 2009-01-01, 卷号: 52, 期号: 7, 页码: 799-807
Dowek Gilles; Jiang Ying

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace