http:^^www.cs.engr.uky.edu^~marek^

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

Date: Monday, 25-Nov-96 23:07:44 GMT
Server: NCSA/1.3
MIME-version: 1.0
Content-type: text/html

<TITLE>V. Wiktor Marek</TITLE>

<!WA0><IMG SRC="http://www.cs.engr.uky.edu/~marek/marek.gif">

<H1>Victor is on the left hand side </H1>
<H1>Victor's Home Page</H1>

<!WA1><IMG SRC="http://www.cs.engr.uky.edu/~marek/cat.gif">
<H1>This is Carmen, nice but not too inteligent...</H1>

<H2>OFFICE</H2>

University of Kentucky<BR>
Computer Science Department<BR>
779 Anderson Hall<BR>
Lexington, KY  40506-0046

<UL>
<LI> <B>Phone:</B> [phone] (office)
<LI> <B>Phone:</B> [phone] (Department)
<LI> <B>Fax:</B>   [phone] 
<LI> <B>e-mail1:</B> [e-mail]
<LI> <B>e-mail2:</B> [e-mail]
<LI> <B>e-mail3:</B> [e-mail]
</UL>

<H2>HOME</H2>

Phone: [phone]

<H2>RESEARCH INTERESTS</H2>

Artificial intelligence, logic, nonmonotonic logics, databases.


<H2> For the ongoing discussions on NASLP <!WA2><A HREF="http://www.cs.engr.uky.edu/~marek/opinions.html"> 
Click here</A> </H2>

<H3>E-Mail:</H3>
[e-mail] <BR>
<!WA3><A HREF="mailto:[e-mail]"> Send e-mail right now </A> <P>

<H2>ON-LINE PAPERS</H2>

<UL>

<LI> <B> <!WA4><A HREF="ftp://al.cs.engr.uky.edu/cs/manuscripts/rev-prog.ps">
Revision programming </A>

<LI> <B> <!WA5><A HREF="ftp://al.cs.engr.uky.edu/cs/manuscripts/icdt-95.ps">
Revision programming, database updates and integrity constraints </A>

<LI> <B> <!WA6><A
HREF="ftp://al.cs.engr.uky.edu/cs/manuscripts/jelia-94.ps">
Revision specifications by means of programs </A>

<LI> <B>
<!WA7><A HREF="ftp://al.cs.engr.uky.edu/cs/manuscripts/iclp-95.ps">
Experimenting with Nonmonotonic Reasoning </A>

<LI> <B>
<!WA8><A HREF="ftp://al.cs.engr.uky.edu/cs/manuscripts/representation-dl.ps">
Representation Theory for Default Logic</A>

<LI> <B>
<!WA9><A HREF="ftp://al.cs.engr.uky.edu/cs/manuscripts/authorization.ps">
Algorithms for Maintaining Authorization Base</A>

<LI> <B>
<!WA10><A HREF="ftp://al.cs.engr.uky.edu/cs/manuscripts/dexter1.ps">
Toward Intelligent Representation of Database Content</A>

</UL>

<H1> Syllabi of the current classes </H1>
<UL>
<LI> <!WA11><A HREF =  "http://www.cs.engr.uky.edu/~marek/syllabus.340fa96.html"> CS340 </A>
<LI> <!WA12><A HREF =  "http://www.cs.engr.uky.edu/~marek/syllabus.685fa96.html"> CS685 </A>
</UL>
<HR>

<H1> CS340 Information </H1>
<UL>
<LI> <!WA13><A HREF =  "http://www.cs.engr.uky.edu/~marek/340.html"> Here is the information about CS340, </A>
including homeworks and midterms 
</UL>
<HR>

Last updated: October 4, 1996