带函数的回答集程序设计研究与实现

60963009
2009
F06.人工智能
王以松
地区科学基金项目
教授
贵州大学
20万元
CSP;人工智能;带函数回答集程序设计;知识表示与推理
2010-01-01到2012-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Default Logic and Its Some Variants: Finite Characterizations, Semi-Monotonicity and Cumulativity 会议论文 Zhang, Mingyi|Zhang, Ying|
2 The loop formula based semantics of description logic programs 期刊论文 Wang, Yisong|You, Jia-Huai|Yuan, Li Yan|Shen, Yi-Dong|Zhang, Mingyi|
3 Weight constraint programs with evaluable functions 期刊论文 Wang, Yisong|You, Jia-Huai|Lin, Fangzhen|Yuan, Li Yan|Zhang, Mingyi|
4 Normal Description Logic Programs as Default Theories 会议论文 Yisong Wang|Jia-Huai You|Liyan Yuan|Yi-Dong Shen|
5 A Well-founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms 会议论文 Yisong Wang|Fangzhen Lin|Zhang, Mingyi|Jia-Huai You|
6 Representing and Reasoning about Program in Situation Calculus 会议论文 Yang Bo|Zhang Ming-yi|Wu Mao-nian|Xie Gang|
7 Answer Set Programming Modulo Theories 会议论文 Yisong Wang|Mingyi Zhang|
8 An Approach to Generation of Decision Rules Based on a Fuzzy Semi-equivalence Relation 期刊论文 Zhang Mingyi|Li Danning|Zhang Ying|
9 Ordered completion for first-order logic programs on finite structures 期刊论文 Vernon Asuncion| Fangzhen Lin|Yan Zhang|Yi Zhou|
10 plitting Computation of Answer Set Program and Its Application on E-service 期刊论文 Bo Yang|Ying Zhang|Mingyi Zhang|Maonian Wu|
11 Loop-separable programs and their first-order definability 期刊论文 Yin Chen|Fangzhen Lin|Yan Zhang|Yi Zhou|
12 Splitting Computation of Logic Program 会议论文 Bo Yang|Ying Zhang|Mingyi Zhang|Maonian Wu|
13 Constructing First-order Loops of Normal Logic Programs 会议论文 Yisong Wang|Ying Zhang|Mingyi Zhang|
14 Forgetting in Logic Programs under Strong Equivalence 会议论文 Yisong Wang|Yan Zhang|Yi Zhou|Mingyi Zhang|
15 Logic Programs, Compatibility and Forward Chaining Construction 期刊论文 Wang, Yi-Song|Zhang, Ming-Yi|You, Jia-Huai|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享