2 papers
cs.LO2005
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
Global SLS-resolution is a well-known procedural semantics for top-down computation of queries under the well-founded model. It inherits from SLDNF-resolution the {\em linearity} p…
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…