Michael Gelfond

Michael Gelfond

Dr. Gelfond is now at Texas Tech. web page

Professor of Computer Science
University of Texas at El Paso

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

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

Honors, Awards, and Professional Service

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

Selected Publications

C. Baral, M. Gelfond: ``Reasoning agents in Dynamic Domains''

M. Gelfond and T.C. Son: ``Reasoning with Prioritized Defaults''

M.Gelfond and A.Gabaldon: ``From Functional Specifications to Logic Programs'', (This is the version with proofs of the ILPS'97 paper.)

C. Baral, M. Gelfond and A. Provetti, ``Reasoning About actions: Laws, Observations and Hypotheses'', Journal of Logic Programming vol. 31, pp. 201-244, 1997.

C. Baral, M. Gelfond, ``Reasoning About Effects of Concurrent Actions'', Journal of Logic Programming vol. 31, pp. 85--118, 1997.

M. Gelfond, H. Przymusinska, "Towards a Theory of Elaboration Tolerance: Logic Programming Approach", Journal on Software and Knowledge Engineering, vol. 6, No. 1, pp. 89-112, 1996.

C. Baral, M. Gelfond, ``Logic Programming and Knowledge Representation'', Journal of Logic Programming, 19,20:73-148, 1994. (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.


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


Contact Information

Department of Computer Science
University of Texas at El Paso
El Paso, TX 79968, USA

email: mgelfond@cs.utep.edu
office phone: (915) 747-6957
fax: (915) 747-5030

UTEP CS Department CS Faculty and Staff Menu previous next