We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic.Expand
We address all three problems for goal-oriented query evaluation of general logic programs by presenting tabled evaluation with delaying, called SLG resolution, a partial deduction procedure, consisting of seven fundamental transformations.Expand
This paper investigates two major implementation issues of query evaluation under the well-founded semantics, namely, (a) to ensure that negative literals be resolved only after their positive counterparts have been completely evaluated, and (b) to detect and handle potential negative loops.Expand
C-logic is a logical framework for natural representation and manipulation of complex objects and gives us a framework for exploring efficient logic deduction over complex objects.Expand
We present a simple method of stable model computation that can be applied to the residual program of a query to derive answers with respect to stable models.Expand
We address all three problems for goal-oriented query evaluation of arbitrary programs by presenting an extension of SLDNF, called SLG resolution, with the following distinctive features: a partial deduction procedure, consisting of several transformations.Expand
We present a more effective variant of global SLS resolution, called XOLDTNF resolution, which incorporates simple mechanisms for loop detection and handling.Expand
With rapid economic development and urbanization, China has suffered from severe and persistent air pollution during the past years. In the work, the hourly data of PM2.5, PM10, SO2, NO2, CO, and O3… Expand