BriefGPT.xyz
Ask
alpha
关键词
stratified negation
搜索结果 - 2
关于析取 Datalog 程序的魔法集
本文介绍了一种新的技术,通过利用查询绑定的传播并扩展魔法集(MS)优化技术来优化(部分)绑定查询,从而对分层否定性的分离 Datalog 程序进行优化,通过对具体应用进行实验,可以得到该方法带来了显著的计算收益。
PDF
12 years ago
带函数的非交 ASP: 可决定查询和有效计算
该研究论文探讨了具有分层否定和函数的分离逻辑编程的可询问性,并介绍了一种有效的查询评估方法 —— 将魔法集技术扩展到该环境下,并证明了重写程序与原始程序等效。同时,证明了重写程序也是可评估的,这使得该类查询在实践中有用。
PDF
14 years ago
Prev
Next