Extending the Argumentation-theoretical Foundation for Abductive Logic Programming

• 拓展溯因逻辑程序设计的辩论理论基础