An Application of Proof-Theory in answer Set Programming
Clinical Orthopaedics and Related Research(2009)
摘要
We apply proof-theoretic techniques in answer Set Programming. The main
results include: 1. A characterization of continuity properties of
Gelfond-Lifschitz operator for logic program. 2. A propositional
characterization of stable models of logic programs (without referring to loop
formulas.
更多查看译文
关键词
proof theory,answer set programming,artificial intelligent
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络