• Publications
  • Influence
HILOG: A Foundation for Higher-Order Logic Programming
TLDR
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
  • 430
  • 31
  • PDF
Tabled evaluation with delaying for general logic programs
TLDR
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
  • 145
  • 14
Efficient Top-Down Computation of Queries under the Well-Founded Semantics
TLDR
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
  • 145
  • 8
  • PDF
C-logic of complex objects
TLDR
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
  • 127
  • 7
Computation of Stable Models and Its Integration with Logical Query Processing
TLDR
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
  • 70
  • 7
Query evaluation under the well-founded semantics
TLDR
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
  • 127
  • 5
HiLog as a Platform for Database Languages
TLDR
We argue that predicate calculus is not sufficient as a basis for the next generation of database languages. Expand
  • 54
  • 5
  • PDF
A Goal-Oriented Approach to Computing the Well-Founded Semantics
TLDR
We present a more effective variant of global SLS resolution, called XOLDTNF resolution, which incorporates simple mechanisms for loop detection and handling. Expand
  • 80
  • 4
  • PDF
Air pollution characteristics in China during 2015-2016: Spatiotemporal variations and key meteorological factors.
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 O3Expand
  • 69
  • 3
...
1
2
3
4
5
...