回答采编程相关硕士博士期刊学术论文

在本文中我们提出一种整合的推理模式ASP^X，它同时支持非单调推理及时态约束推理．本文展示了它的语法，语义及复杂性分析．除此以外，我们......