10 citations · 12 across the 4 of their papers we have counts for
4 papers
Relating Weight Constraint and Aggregate Programs: Semantics and Representation
Guohua Liu, Jia-Huai You
Weight constraint and aggregate programs are among the most widely used logic programs with constraints. In this paper, we relate the semantics of these two classes of programs, na…
Loop Formulas for Description Logic Programs
Yisong Wang, Jia-Huai You, Li Yan Yuan +1
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics…
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
This paper studies the stable model semantics of logic programs with (abstract) constraint atoms and their properties. We introduce a succinct abstract representation of these cons…
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Y. D. Shen, Q. Yang, J. H. You +1
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s…