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 5368 Intelligent Systems (Spring 2014)

CS 4391 Special Topics in AI (Spring 2014)

CS 1382 Discrete Computational Structures (Spring 2013)


Professional Service


Honors and Awards


Selected Talks

Scientific Presentations

Thoughts on Teaching (by me and others)