Liberal Safety for Answer Set Programs with External Sources.Thomas Eiter,Michael Fink,Thomas Krennwallner,Christoph RedlAAAI(2013)引用 26|浏览37暂无评分关键词nonmonotonic reasoning,grounding,answer set programming,knowledge representation,logic programmingAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要