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

(A complete list of my recent papers can be found in the Papers section of the Knowledge Representation Lab website)


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