Home → News → Jack Minker (1927–2021) → Abstract

Jack Minker (1927–2021)

By Simson Garfinkel, Eugene H. Spafford

Communications of the ACM, Vol. 64 No. 6, Page 17

[article image]

ACM fellow Jack Minker passed away on April 9, 2021, at the age of 93.

Minker was a leader in the development of automating logistic reasoning, including deductive databases, logic programming, and artificial intelligence, but he is perhaps best known for his efforts to promote the social responsibility of scientists and human rights.


No entries found