中文摘要：

在本文中我们提出一种整合的推理模式ASP^X，它同时支持非单调推理及时态约束推理．本文展示了它的语法，语义及复杂性分析．除此以外，我们详细研究了它的一个实例化的框架ASP^DLR，并举例说明其能够作为实时领域内常识推理的逻辑基础．

英文摘要：

In this paper we propose an integrated reasoning scheme ASP^X that sub-sumes nonmonotonic and temporal constraint reasoning. Its syntax, semantics as well as computational complexity analysis are presented. Moreover, we study an instantiated framework ASP^DCR in detail, and illustrate that it may serve for the underlying logic for commonsense reasoning in real-time domains.