Refereed Journal Publications
C Wang, LY Yuan, J. You, OR Zaiane and J Pein. On Pruning for Top-K Ranking in Uncertain Databases. THE PROCEEDINGS OF THE VLDB ENDOWMENT Vol 4, pages 598-609, July, 2011.
Y Wang, J. You, F Lin, LY Yuan and M Zhang. Weight Constraint Programs with Evaluable Functions. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol 60, 341-390, June 2011.
C Wang, LY Yuan and J. You. On the Semantics of Top-K Ranking for Objects with Uncertain Data. COMPUTERS & MATHEMATICS WITH APPLICATIONS 62, 2812-2823, Oct. 2011.
Y. Shen and J.H. You and L.Y. Yuan. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms, Theory and Practice of Logic Programming (TPLP), pp 529-564, Vol. 9, No. 4, July 2009.
L. Yuan, M. Xue. Xregion: A New Approach to Store XML Data in Relational Databases. International Journal of Computer and Information Science. Vol. 9, Num. 2, June 2008.
Y. Shen, J. You, L. Yuan. Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms. Theoretical Computer Science, Vol. 328(3):271-287 (2004).
Y. Shen, J. You,. L. Yuan, S. Shen, and Q. Yang. A Dynamic Approach to Characterizing Termination of General Logic Programs", ACM Transactions on Computational Logic, 4(4) 417-430, 2003.
Y. Shen, L. Yuan, J. You. SLT-resolution for the well-founded semantics. Journal of Automated Reasoning, Vol 28(1) 53-97, Jan. 2002.
N.F. Zhou, Y. Shen, L. Yuan, J. You. Implementation of a Linear Tabling Mechanism. Journal of Functional and Logic Programming, Vol 2001(10), Oct. 2001.
Y. Shen, L. Yuan, J. You. Loop checks for logic programs with functions. Theoretical Computer Science, Vol 266 (1-2):441-461, 2001.
Y. Shen, L. Yuan, J. You, and N. Zhou. Tabulated resolution based on Prolog control strategy. Theory and Practice of Logic Programming, Vol 1(1):71-103, 2001.
J. You, X. Wang, and L. Yuan. Nonmonotonic reasoning as prioritized argumentation. IEEE Transaction on Knowledge and Data Engineering, Nov/Dec Vol 13(6) pp 968-979, 2001.
J. You, L. Yuan, and R. Goebel. An abductive approach to disjunctive logic programming. Journal of Logic Programming, Special Issue on Abduction, 44(1-3): 101-127, July 2000.
J. You, X. Wang, L. Yuan. Compiling defeasible networks to general logic programs. Artificial Intelligence, 113(1-2), pp 247-268, 1999.
J. You, L. Yuan, R. Goebel. An abductive approach to disjunctive logic programming To appear in J. Logic Programming, Special Issue on Abduction.
L.Y. Yuan and J.H. You. Coherence Approach to Logic Program Revision. IEEE Transaction on Knowledge and Data Engineering. Vol 10(1), Jan. 1998, pp. 108-119.
Other Refereed Contributions
Y Wang, J. You, L. Yuan and Y Shen. Normal Description Logic Programs as Default Theories. Proc. of Conference on Thirty Years of Nonmonotonic Reasoning. Lexington, KY, USA. October 2010.
Yisong Wang, Jia-Huai You, Li-Yan Yuan and Yi-Dong Shen Loop Formulas for Description Logic Programs. In Proc. ICLP '10 , July 2010.
C. Wang, L. Yuan and J. You. A ranking theory for uncertain data with constraints. In Proc. the 2nd IEEE International Conference on Computer Science and Information Technology, Beijing, China. August 2009. IEEE Press, page 104-108.
Y. Wang, J. You, L. Yuan, M. Zhang. Weight constraint programs with functions. In Proc. 9th International Conference on Logic Programming and Nonmonotonic Reasoning, Springer. Sept. 2009, page 329-341.
J. You, LY Yuan, G Liu and Y Shen. Logic programs with abstract constraints: representation, disjunction and complexities. In Proc. 9th International Conference on Logic Programming and Nonmonotonic Reasoning, 228-240, Tempe, AZ, USA. May 2007. Springer.
L. Yuan, M. Xue. Xregion: A structure-based approach to Storing XML Data in Relational Databases. Proceedings of SNPD 2007, 544-551, Qingdao, China. July 2007.
J.H. You, G. Liu, L.Y. Yuan, C. Onuczko Lookahead in Smodels Compared to Local Consistencies in CSP Proc. LPNMR '05 , Sept. 2005, pages 266-278.
X. Jia, J. You, L. Yuan. Adding domain dependent knowledge to answer set programs for planning. Proc. ICLP '04 , Sept. 2004.
J. You, L Yuan and M. Zhange. On the equivalence between answer sets and models of completion for nested logic programs. Proc. IJCAI-03 , August 2003.
N. Zhou, Y. Shen, L. Yuan, and J. You. Implementation of a linear tabling mechanism. Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, pp.109-123, 2000.
Y. Shen, L. Yuan, J. You, N. Zhou. Linear tabulated resolution for the well-founded semantics. Logic Programming and Non-Monotonic Reasoning, LNAI 1730, pp 192-205, 1999.
L. Yuan, J. You, R. Goebel. Disjunctive logic programming and possible model semantics (invited). In LNAI 1441, eds. W. Wobcke, M. Pagnucco, and C. Zhang, 1998, pp 60-79.
J. You, L. Yuan, R. Goebel. "An abductive semantics for disjunctive logic programs and its proof procedure." Proc. 17th Foundations of Software Technology and Theoretical Computer Science, LNCS 1346, pp 138-153, Kharagpur, India, Dec 1997.
X. Wang, J. You, and L.Y. Yuan. A Default Interpretation of Defeasible Network. In Proc. of International Joint Conference on Artifical Intelligence , papges 156-162, 1997.