Selected Talks
Knowledge Representation Lab
Texas Action Group


M.S. in Mathematics (1968), St. Petersburg University, St. Petersburg, Russia

Ph.D. in Mathematics (1974), Steklov Mathematical Institute, St. Petersburg, Russia

Areas of Interest

Knowledge Representation, Logic Programming, Answer Set Programming

Summary of Research

I am interested in the development of languages for representing commonsense knowledge and investigating their mathematical and computational properties. My recent work deals with the semantics of logic programs and their extensions, logic programming and non-monotonic reasoning, the formal representation of properties of actions and their effects, and the development of software components for intelligent agents.

Selected Publications

My recent papers can be found in the Papers section of the Knowledge Representation Lab website


CS3383 Theory of Automata (Spring 2017)

CS3364 Design and Analysis of Algorithms (Fall 2016)

CS 3368 Artificial Intelligence (Fall 2015)

CS 5368 Intelligent Systems (Fall 2015)

Professional Service

Honors and Awards

Selected Talks

Scientific Presentations

Thoughts on Teaching (by me and others)