| The stable model semantics for logic programming. M Gelfond, V Lifschitz ICLP/SLP 88, 1070-1080, 1988 | 5218 | 1988 |
| Classical negation in logic programs and disjunctive databases M Gelfond, V Lifschitz New generation computing 9, 365-385, 1991 | 2976 | 1991 |
| Logical programs with classical negation M Gelfond Proceedings of the Seventh International Logic Programming Conference, New …, 1990 | 830 | 1990 |
| Representing action and change by logic programs M Gelfond, V Lifschitz The Journal of Logic Programming 17 (2-4), 301-321, 1993 | 746 | 1993 |
| Action languages M Gelfond, V Lifschitz Linköping University Electronic Press, 1998 | 662 | 1998 |
| Logic programming and knowledge representation C Baral, M Gelfond The Journal of Logic Programming 19, 73-148, 1994 | 634 | 1994 |
| Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach M Gelfond, Y Kahl Cambridge University Press, 2014 | 421 | 2014 |
| Probabilistic reasoning with answer sets C Baral, M Gelfond, N Rushton Theory and Practice of Logic Programming 9 (1), 57-144, 2009 | 366* | 2009 |
| An A-Prolog decision support system for the Space Shuttle M Nogueira, M Balduccini, M Gelfond, R Watson, M Barry Practical Aspects of Declarative Languages: Third International Symposium …, 2001 | 326 | 2001 |
| Answer sets M Gelfond Foundations of Artificial Intelligence 3, 285-316, 2008 | 295 | 2008 |
| On Stratified Autoepistemic Theories. M Gelfond AAAI 87 (1), 207-211, 1987 | 265 | 1987 |
| Logic programming and knowledge representation—the A-Prolog perspective M Gelfond, N Leone Artificial Intelligence 138 (1-2), 3-38, 2002 | 263 | 2002 |
| Logic programs with consistency-restoring rules M Balduccini, M Gelfond International Symposium on Logical Formalization of Commonsense Reasoning …, 2003 | 253 | 2003 |
| Reasoning agents in dynamic domains C Baral, M Gelfond KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 257-280, 2000 | 243 | 2000 |
| Applications of answer set programming E Erdem, M Gelfond, N Leone AI Magazine 37 (3), 53-68, 2016 | 227 | 2016 |
| On the relationship between circumscription and negation as failure M Gelfond, H Przymusinska, T Przymusinski Artificial Intelligence 38 (1), 75-94, 1989 | 214 | 1989 |
| Representing actions: Laws, observations and hypotheses C Baral, M Gelfond, A Provetti The Journal of Logic Programming 31 (1-3), 201-243, 1997 | 197 | 1997 |
| Disjunctive defaults M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski Proc. Second International Conf. on Principles of Knowledge Representation …, 1991 | 196 | 1991 |
| What are the limitations of the situation calculus? M Gelfond, V Lifschitz, A Rabinov Automated reasoning: Essays in honor of Woody Bledsoe, 167-179, 1991 | 191 | 1991 |
| Representing Actions in Extended Logic Programming. M Gelfond, V Lifschitz JICSLP 92, 560, 1992 | 181 | 1992 |
