5 citations · 10 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…
cs.LO2014★ 2 cited
A Logical Study of Partial Entailment
Yi Zhou, Yan Zhang
We introduce a novel logical notion--partial entailment--to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with re…