Michael Gelfond

Professor of Computer Science

Texas Tech University

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

• AAAI fellow
• The Burlington Northern Distinguished Acievement Award in Research
• College of Engineering's Award for Excellence in Undergraduate Teaching
• Area Editor of the Journal of Theory and Practice of Logic Programming
  (Knowledge Representation and Nonmonotonic Reasoning)
• Executive Editor of the Journal of Logic and Computation.
• Co-founder and co-head of the Knowledge Representation Lab
• Co-organizer, Texas Action Group
• Logic Programming and Nonmonotonic Reasoning Conference (LPNMR'99)

Areas of Interest

Knowledge representation and reasoning , 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 , formal representation of properties of actions and their effects , and developing software components for intelligent agents.

Selected Publications

M. Balduccini and M. Gelfond: Diagnostic Reasoning with A-Prolog (pdf version) , Theory and Practice of Logic Programming, 3(4-5):425-461, Jul 2003

M. Gelfond and N. Leone: Logic Programming and Knowledge Representation -- A-Prolog perspective (pdf version) , Artificial Intelligence, 2002

M. Gelfond: Representing Knowledge in A-Prolog (pdf version) , volume 2408 of Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pages 413-451, 2002

M. Gelfond, M. Balduccini, J. Galloway: Diagnosing physical systems in A-Prolog , Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 213-225, Sep 2001

M.Balduccini, M.Gelfond, M.Nogueira, R.Watson,M.Barry: An A-Prolog decision support system. for the space shuttle , AAAI Spring 2001 Symposium, Mar 2001

M.Balduccini, M.Gelfond, M.Nogueira: "A-Prolog as a tool for declarative programming", Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000)

C. Baral, M. Gelfond: "Reasoning agents in Dynamic Domains" Logic Based Artificial Intelligence , Edited By J. Minker, Kluwer 2000

M. Gelfond and T.C. Son: "Reasoning with Prioritized Defaults", Lecture Notes in Artificial Intelligence, 1471, Edited by J. Dix, L.M. Pereira, T. Przymusinski, pp 164-224, 1998.

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.

M. Gelfond and V. Lifschitz, "The stable model semantics for logic programming" In Proc.~of ICLP-88, pp. 1070-1080

Classes

Talks

• Knowledge Representation and Logic Programming. slides.ps
(presented at First Compulog Americas Summer School on Constraint Logic Programming)
• Logic Programming and Reasoning about Actions and Time.slides.
• Logic Based Approach to AI.slides.

Contact Information