http:^^www.cs.ualberta.ca^~yuan^

This data set contains WWW-pages collected from computer science departments of various universities

Date: Mon, 25 Nov 1996 22:54:09 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 2591
Last-modified: Tue, 22 Oct 1996 21:54:11 GMT

<TITLE> Li-Yan Yuan </TITLE>
<!WA0><A HREF=http://www.cs.ualberta.ca/people/faculty/gifs/yuan.gif>
<!WA1><IMG SRC="http://www.cs.ualberta.ca/people/faculty/gifs/yuan.gif"></A>
<!WA2><A HREF="http://www.cs.ualberta.ca/people/faculty/aiff/yuan.aiff">
<!WA3><IMG SRC="http://www.cs.ualberta.ca/~yuan/internal-gopher-sound"></A>
<!WA4><A HREF="mailto:[e-mail]">
<!WA5><IMG ALIGN=BOTTOM SRC="http://www.cs.ualberta.ca/Icons/Buttons/letter.gif" BORDER=0></A>
<!WA6><IMG SRC="http://www.cs.ualberta.ca/~yuan/name.gif">
<HR>

<!WA7><A HREF="http://www.cs.ualberta.ca/~yuan/address.html">
<H2> Address </H2>
<PRE>
<!WA8><A HREF="http://web.cs.ualberta.ca/home.html">Department of Computing Science  </A>
<!WA9><A HREF="http://web.cs.ualberta.ca/UAlberta.html">University of Alberta </A>
</PRE>
<H2> Research Areas </H2>
<UL>
<LI>
<!WA10><A HREF="http://www.cs.ualberta.ca/~yuan/deductive.html"> Deductive Database Systems </A>
<LI>

<!WA11><A HREF="http://www.cs.ualberta.ca/~yuan/ai.html"> Artificial Intelligence </A>
<LI>

<!WA12><A HREF="http://www.cs.ualberta.ca/~yuan/lp.html"> Logic Programming </A>
</UL> 

<H2>Courses </H2></A> 
<UL>
<LI>
<!WA13><A HREF="http://web.cs.ualberta.ca/~yuan/courses/114/96fall"> CMPUT 114 </A>
<LI>
<!WA14><A HREF="http://www.cs.ualberta.ca/~yuan/courses/291/index.html"> CMPUT 291 </A>
<LI>
<!WA15><A HREF="http://www.cs.ualberta.ca/~yuan/courses/391/96fall"> CMPUT 391 </A>
<LI>
<!WA16><A HREF="http://web.cs.ualberta.ca/~yuan/courses/665/index.html"> CMPUT 665</A>
</UL> 


<!WA17><A HREF="http://www.cs.ualberta.ca/~yuan/publications.html"><H2>Publications </H2></A> 

<H2> <P>
<b>Selected Publications</b> </H2>
<P>
L.Y. Yuan and J.H. You.
 <!WA18><A HREF="http://web.cs.ualberta.ca/~yuan/papers/tkde96.ps">
 Coherence Approach to Logic Program Revision.</A>
<em> To apear in IEEE Transaction on Knowledge and Data Engineering.
<P>
J.H. You and L.Y. Yuan.
 <!WA19><A HREF="http://web.cs.ualberta.ca/~yuan/papers/jlp95.ps">
 On the Equivalence of Semantics for Normal Logic Programs.
 </A>
 <em>Journal of Logic Programming </em>, 22(1):79-89, 1995.
<P>
<P>
L.Y. Yuan.
 <!WA20><A HREF="http://web.cs.ualberta.ca/~yuan/papers/jar94.ps">
 Autoepistemic logic of first order and its expressive power.
 </A>
 <em>Journal of Automated Reasoning</em>, 13(1):69-82, 1994.

<P>
L.Y. Yuan.
 <!WA21><A HREF="http://web.cs.ualberta.ca/~yuan/papers/ifl94.ps">
 Logic Program Semantics and Circumscription of Autoepistemic
Theoreis.
 </A>
 <em>Information Processing Letters</em>, 50:159-164, 1994. 
<P>

L.Y. Yuan and J.H. You.
 <!WA22><A HREF="http://web.cs.ualberta.ca/~yuan/papers/jar93.ps">
 Autoepistemic circumscription and logic programming.
 </A>
 <em>Journal of Automated Reasoning</em>, 10:143-160,1993.
<P>

L.Y. Yuan and Z.M. Ozsoyoglu.
 <!WA23><A HREF="http://web.cs.ualberta.ca/~yuan/papers/jcss92.ps">
 Design of desirable relational database schemes.
 </A>
 <em>Journal of Computer and System Science</em>, 45(3):435-470, 1992.
<P>
<!WA24><A HREF="http://www.cs.ualberta.ca/~yuan/personal.html"><H2>Personal Information</H2></A>
<HR>
<I> December 26, 1994 </I>