Showing 2014Show all
2 papers · 1 filter
cs.AI2014
Expressiveness of Logic Programs under General Stable Model Semantics
Heng Zhang, Yan Zhang
The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer se…
cs.AI2014
Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Heng Zhang, Yan Zhang, Jia-Huai You
Finite chase, or alternatively chase termination, is an important condition to ensure the decidability of existential rule languages. In the past few years, a number of rule langua…