Concepedia

Michael Gelfond

MG

Statistics

Publications

49

Citations

9.8K

H-Index

28

Active since

1985

Affiliations

Texas Tech University(Current)

The University of Texas at El Paso

University of Calabria

Michael Gelfond is an author at Texas Tech University specializing in computing, computer science, and logic programming.

ORCID

Publications per year

1985–2019

49

Publications

49

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

, , +10

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

, , +11

Representing action and change by logic programs

Michael Gelfond, Vladimir Lifschitz · The Journal of Logic Programming · 1993 · 516 citations

, , +10

Logic programs with classical negation

Michael Gelfond, Vladimir Lifschitz · International Conference on Lightning Protection · 1990 · 483 citations

, , +9

Logic programming and knowledge representation

Chitta Baral, Michael Gelfond · The Journal of Logic Programming · 1994 · 438 citations

, , +12

1–5 of 49