Michael Gelfond

Professor of Computer Science (1980)

University of Texas at El Paso, El Paso, TX

M.S. in Mathematics (1968),

Leningrad University, Leningrad, USSR

Ph.D. in Mathematics (1974)

Steklov Mathematical Institute, Leningrad, USSR

Honors, Awards, and Professional Service

• The Burlington Northern Distinguished Achievement Award in Research
• College of Engineering's Award for Excellence in Undergraduate Teaching
• Area Editor of the Journal of Logic Programming (Knowledge Representation and Nonmonotonic Reasoning).
• Executive Editor of the Journal of Logic and Computation.
• Member of editorial board of the Journal of Experimental and Theoretical Artificial Intelligence.

Areas of Interest

Knowledge representation, logic programming, artificial intelligence

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, the formal representation of properties of actions and their effects, and the representation of incomplete information in databases.

Selected Publications

C. Baral, M. Gelfond, ``Logic Programming and Knowledge Representation'', Journal of Logic Programming, 1944 : 12 :1-80. (Survey paper).

M. Gelfond and V. Lifschitz, ``Representing Actions and Change by Logic Programs'', Journal of Logic Programming, vol. 17, Num. 2,3,4, pp. 301--323, 1993.

M. Gelfond, ``Logic Programming and Reasoning with Incomplete Information'', Annals of Mathematics and Artificial Intelligence, 12, pp. 89-116 1994.

M. Gelfond and H. Przymusinska, "Reasoning in Open Domains", Logic Programming and Nonmonotonic Reasoning, Edited by L Pereira and A. Nerode, pp. 397-413, the MIT press, 1993.

M. Gelfond, V. Lifschitz, A. Rabinov, "What Are the Limitations of the Situation Calculus?", Automated Reasoning, Essays in Honor of Woody Bledsoe, Edited by S. Boyer, Kluwer Academic Publishers, 1991, pp. 167-181.

M. Gelfond and V. Lifschitz, "Classical Negation in Logic Programs and Disjunctive Databases", New Generation Computing, vol. 9, pp. 365-385, 1991.

Work in Progress

Comments Welcome.

C. Baral, M. Gelfond, ``Reasoning About actions: Laws, Observations and Hypotheses'',

C. Baral, M. Gelfond, ``Reasoning About Effects of Concurrent Actions'',

M. Gelfond, H. Przymusinska, "Towards a Theory of Elaboration Tolerance: Logic Programming Approach"

Classes

Material for Logic, AI, and Logic Programming Classes. "Logic", "AI", "Prolog"

Contact Information