Contact Information
| Research Areas |
| | Database Systems | Knowledge Representation | Logic Programming | LogicSQL | |
| Courses |
| | COMPUT 114 | CMPUT 115 | CMPUT 229 | CMPUT 291 | CMPUT 391 | CMPUT 592 | CMPUT 692| | Independent Study| CMPUT 114 Old | |
Selected Publications
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).
J. You, X. Wang, L. Yuan. Compiling defeasible networks to general logic programs. Artificial Intelligence, Vol. 113(1-2), pp 247-268, 1999.
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.
X. Wang, J.H. You, and L.Y. Yuan. A Default Interpretation of Defeasible Network. Proc. of IJCAI'97, page 156-162.
J.H. You and L.Y. Yuan. On the Equivalence of Semantics for Normal Logic Programs. Journal of Logic Programming , 22(1):79-89, 1995.
L.Y. Yuan. Autoepistemic logic of first order and its expressive power. Journal of Automated Reasoning, 13(1):69-82, 1994.
L.Y. Yuan. Logic Program Semantics and Circumscription of Autoepistemic Theoreis. Information Processing Letters, 50:159-164, 1994.
L.Y. Yuan and J.H. You. Autoepistemic circumscription and logic programming. Journal of Automated Reasoning, 10:143-160,1993.
L.Y. Yuan and Z.M. Ozsoyoglu. Design of desirable relational database schemes. Journal of Computer and System Science, 45(3):435-470, 1992.