1 citations · 1 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2009★ 1 cited
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…
cs.AI2005
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…