位置：成果数据库 > 期刊 > 期刊详情页
Weight constraint programs with evaluable functions
  • ISSN号：1012-2443
  • 期刊名称：ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 时间：0
  • 页码：341-380
  • 相关项目：带函数的回答集程序设计研究与实现
作者： Wang, Yisong|You, Jia-Huai|Lin, Fangzhen|Yuan, Li Yan|Zhang, Mingyi|
同期刊论文项目
带函数的回答集程序设计研究与实现
期刊论文 9 会议论文 8
同项目期刊论文
plitting Computation of Answer Set Program and Its Application on E-service
Ordered completion for first-order logic programs on finite structures
Logic programs, compatibility and forward chaining construction
The loop formula based semantics of description logic programs
DoS攻击及其防范对策研究