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)
- M. Balduccini and M. Gelfond: Diagnostic Reasoning with A-Prolog - 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 - Artificial Intelligence, 2002
- M. Gelfond: Representing Knowledge in A-Prolog - 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 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 and 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, pages 164-224, 1998
- M. Gelfond and A. Gabaldon: From Functional Specifications to Logic Programs - Proceedings of the International Logic Programming Symposium, pages 355-371, 1997 (this version contains the proofs of the theorems from the ILPS'97 paper)
- C. Baral, M. Gelfond, A. Provetti: Reasoning About Actions: Laws, Observations, and Hypotheses - Journal of Logic Programming volume 31, pages 201-244, 1997
- C. Baral and M. Gelfond: Reasoning About Effects of Concurrent Actions - Journal of Logic Programming volume 31, pages 85-118, 1997
- M. Gelfond and H. Przymusinska: Towards a Theory of Elaboration Tolerance: Logic Programming Approach - Journal on Software and Knowledge Engineering, volume 6, number 1, pages 89-112, 1996
- C. Baral and 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, volume 17, number 2,3,4, pages 301-323, 1993
- M. Gelfond: Logic Programming and Reasoning with Incomplete Information - Annals of Mathematics and Artificial Intelligence, 12, pages 89-116, 1994
- M. Gelfond and H. Przymusinska: Reasoning in Open Domains - Logic Programming and Nonmonotonic Reasoning, edited by L. Pereira and A. Nerode, pages 397-413, 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, pages 167-181, Kluwer 1991
- M. Gelfond and V. Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases - New Generation Computing, volume 9, pages 365-385, 1991
- M. Gelfond and V. Lifschitz: The Stable Model Semantics for Logic Programming - Proceedings of the Fifth International Conference on Logic Programming (ICLP), pages 1070-1080, 1988
Teaching
CS 3368 Artificial Intelligence (Fall 2012)
CS 1382 Discrete Computational Structures (Spring 2013)
- Syllabus: PDF
- Assignment 1 (duedate Jan 29) 1.1: 14, 38 1.3: 14,32
- Assignment 2 (duedate Feb 5) 1.4: #34, 1.5: #14
- Assignment 3 (duedate Feb 12) 1.4: #58, 1.7: #6, #8
Honors and Awards
- Received a number of awards for my work on Answer Set Programming including two “Most Influential Paper in 20 Years Awards” from the Association for Logic Programming (awarded in 2004 and 2012)
- Two scientific symposiums were organized to honor my 50th and 65th birthdays, the proceedings of which were published as Festschrifts in 1997 and 2011
- Elected a member of European Academy of Sciences, 2002
- Elected a fellow of the Association for the Advancement of Artificial Intelligence, 2002, “for significant contributions to the development of the stable model semantics, answer set semantics, and work in cognitive robotics, logic programming, and nonmonotonic reasoning”
- The Burlington Northern Distinguished Acievement Award in Research, 1994
- Received a numbers of awards for excellence in teaching
