Michael Gelfond
Michael Gelfond develops logic-based AI methods for knowledge representation, nonmonotonic reasoning, and actions. Gelfond and Vladimir Lifschitz co-authored The Stable Model Semantics for Logic Programming, published at the Fifth International Conference and Symposium on Logic Programming in 1988. Gelfond and Lifschitz co-authored Classical Negation in Logic Programs and Disjunctive Databases, published in New Generation Computing in 1991. The work documents their research on formal representations for logic programming.
- Works
- 158
- Citations
- 11,654
- h-index
- 40
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1988
Stable model semantics
Gelfond and Vladimir Lifschitz co-authored The Stable Model Semantics for Logic Programming, published at the Fifth International Conference and Symposium on Logic Programming in 1988.
-
1991
Negation and disjunctive databases
Gelfond and Lifschitz co-authored Classical Negation in Logic Programs and Disjunctive Databases, published in New Generation Computing in 1991. Their work develops formal representations for logic programming.
-
1993
Action and change
Gelfond and Lifschitz published Representing Action and Change by Logic Programs in the Journal of Logic Programming in 1993. This shared publication connects formal programs with reasoning about changing worlds.
-
2002
Research recognition
AAAI elected Michael Gelfond as a Fellow in 2002.
Sources and credits
Photo: web.archive.org; Michael Gelfond; creator not stated. License: Not stated by source. Source: web.archive.org. Cropped to a square and resized. Ask us to remove or replace this photo.