Selected Talks
Knowledge Representation Lab
Texas Action Group

Education

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


Teaching

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)