位置：成果数据库 > 期刊 > 期刊详情页
Ordered completion for first-order logic programs on finite structures
  • 期刊名称：Artificial Intelligence
  • 时间：0
  • 页码：1-24
  • 相关项目：带函数的回答集程序设计研究与实现
作者： Vernon Asuncion| Fangzhen Lin|Yan Zhang|Yi Zhou|
同期刊论文项目
带函数的回答集程序设计研究与实现
期刊论文 9 会议论文 8
同项目期刊论文
Weight constraint programs with evaluable functions
plitting Computation of Answer Set Program and Its Application on E-service
Logic programs, compatibility and forward chaining construction
The loop formula based semantics of description logic programs
DoS攻击及其防范对策研究