Welcome to my homepage!

Artur Mikitiuk

I am an Assistant Professor of Computer Science at the University of Texas at Tyler.

I joined UT Tyler in Fall 2002.

I am a Polish citizen, U.S. permanent resident

Contact information

University of Texas at Tyler
Department of Computer Science
3900 University Blvd.
Tyler, TX 75799
 

Office: HPR 213
Phone: 903-565-5575

Fax: 903-565-5607
E-mail: amikitiuk@uttyler.edu

Employment history

I graduated from the University of Kentucky, Department of Computer Science in August 1996.

I love New York, especially Marist College in Poughkeepsie, where I was a Visiting Assistant Professor from September 1996 till August 1997.

Next, for 5 years was Georgia on my mind. I was an Associate Professor at Fort Valley State University from Fall 1997 till Summer 2002.

Areas of research interest

Artificial Intelligence, Logic

I am currently working on implementing answer set programming systems.

Publications

1999

6

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk: Computing with Default Logic. Artificial Intelligence 112(1-2): 105-146 (1999)

1996

5

Artur Mikitiuk: Semi-Representability of Default Theories in Rational Default Logic. JELIA 1996: 192-207

1995

4

Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski: Experimenting with Nonmonotonic Reasoning. ICLP 1995: 267-281

3

Artur Mikitiuk, Miroslaw Truszczynski: Constrained and Rational Default Logics. IJCAI 1995: 1509-1517

2

Artur Mikitiuk, Miroslaw Truszczynski: Skeptical Rational Extensions. LPNMR 1995: 259-272

1993

1

Artur Mikitiuk, Miroslaw Truszczynski: Rational Default Logic and Disjunctive Logic Programming. LPNMR 1993: 283-299

This page is still under construction.

Modified: Oct 22, 2003.