机构

• 软件研究所 [8]
• 地质与地球物理研究所 [1]

采集方式

• OAI收割 [9]

内容类型

• 会议论文 [5]
• 期刊论文 [4]

发表日期

• 2015 [1]
• 2011 [2]
• 2010 [1]
• 2009 [2]
• 2007 [2]
• 2004 [1]
• 更多

学科主题

• Computer S... [1]
• Software E... [1]
• Theory & ... [1]

筛选

浏览/检索结果: 共9条，第1-9条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Geological background and geodynamic mechanism of Mt. Changbai volcanoes on the China-Korea border 期刊论文  OAI收割 LITHOS, 2015, 卷号: 236, 页码: 46-73 作者:  Liu, Jia-qi;  Chen, Shuang-shuang;  Guo, Zheng-fu;  Guo, Wen-feng;  He, Huai-yu   |  收藏  |  浏览/下载：23/0  |  提交时间：2017/11/27 China and Korea  Re-eruption  Mt. Changbai  Northeast Asia  Volcanism   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   |  收藏  |  浏览/下载：17/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   |  收藏  |  浏览/下载：16/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   |  收藏  |  浏览/下载：16/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   |  收藏  |  浏览/下载：20/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   |  收藏  |  浏览/下载：22/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   |  收藏  |  浏览/下载：16/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   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/06/29 Constraint theory  Problem solving  Set theory   enhancing global sls-resolution with loop cutting and tabling mechanisms 期刊论文  OAI收割 Theoretical Computer Science, 2004, 卷号: 328, 期号: 3, 页码: 271-287 Shen Yidong; Jia-Huai You; Li-Yan Yuan   |  收藏  |  浏览/下载：12/0  |  提交时间：2010/08/24