位置：成果数据库 > 期刊 > 期刊详情页
The loop formula based semantics of description logic programs
  • ISSN号：0304-3975
  • 期刊名称：Theoretical Computer Science
  • 时间：0
  • 页码：60-85
  • 相关项目：带函数的回答集程序设计研究与实现
作者： Wang, Yisong|You, Jia-Huai|Yuan, Li Yan|Shen, Yi-Dong|Zhang, Mingyi|
同期刊论文项目
带函数的回答集程序设计研究与实现
期刊论文 9 会议论文 8
同项目期刊论文
Weight constraint programs with evaluable functions
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
DoS攻击及其防范对策研究