Jack Minker
Get Jack Minker essential facts below. View Videos or join the Jack Minker discussion. Add Jack Minker to your Like2do.com topic list for future reference or share this resource on social media.
Jack Minker

Jack Minker (born 1927)[3] is a leading authority in artificial intelligence, deductive databases, logic programming and non-monotonic reasoning.[4] He is also an internationally recognized leader in the field of human rights of computer scientists. He is an Emeritus Professor in the University of Maryland Department of Computer Science, which is part of the College of Computer, Mathematical, and Natural Sciences.[5]

Education and early life

Minker was born on July 4, 1927[3] in Brooklyn, New York. He received his Bachelor of Arts degree from Brooklyn College in 1949,[]Master of Arts degree from the University of Wisconsin in 1950,[] and PhD from the University of Pennsylvania in 1959 for research supervised by Bernard Epstein.[1]

Career and research

Minker started his career in industry in 1951, working at the Bell Aircraft Corporation, RCA, and the Auerbach Corporation.[6] He joined the University of Maryland in 1967, becoming Professor of Computer Science in 1971 and the first chair of the department in 1974. He became Professor Emeritus in 1998.

Minker is one of the founders of the area of deductive databases and disjunctive logic programming. He has made important contributions to semantic query optimization and to cooperative and informative answers for deductive databases. He has also developed a theoretical basis for disjunctive databases and disjunctive logic programs, developing the Generalized Closed World Assumption (GCWA).[7]

Minker has over 150 refereed publications and has edited or co-edited five books on deductive databases, logic programming, and the use of logic in artificial intelligence. He is Founding Editor-in-Chief of the journal Theory and Practice of Logic Programming.

Minker has been Vice-Chairman of the Committee of Concerned Scientists since 1973,[8][9] and Vice-Chairman of the Committee on Scientific Freedom and Human Rights (CSFHR) of the Association for Computing Machinery from 1980 to 1989.[10] He led the struggle for the release of Anatoly Shcharansky and Alexander Lerner from the late Soviet Union. He also campaigned on behalf of Andrei Sakharov and his wife, Yelena Bonner. His memoir, Scientific Freedom & Human Rights: Scientists of Conscience During the Cold War, was published in 2012 by IEEE Computer Society Press. His former doctoral students include Terry Gaasterland,[2] Simon Kasif,[1] and Chitta Baral.[1]

Honours and awards

Minker was elected a Fellow of the American Association for the Advancement of Science (AAAS) in 1989, founding Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) in 1990, Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 1991,[11] and founding Fellow of the Association for Computing Machinery (ACM) in 1994.[12]

He received the ACM Outstanding Contribution Award for his work on human rights in 1985, the ACM Recognition of Service Award in 1989, the University of Maryland President's Medal for 1996, and the prestigious ACM Allen Newell Award for 2005. The Allen Newell Award is a recognition by the Association for Computing Machinery to individuals that have contributed to the breadth of knowledge within computer science and the bridging between computer science and other disciplines. He also received the 2011 Heinz R. Pagels Human Rights Award from the New York Academy of Sciences for his work on behalf of scientific freedom and human rights for scientists.[13]

References

  1. ^ a b c d Jack Minker at the Mathematics Genealogy Project
  2. ^ a b Gaasterland, Theresa (1992). Generating cooperative answers in deductive databases. acm.org (PhD thesis). University of Maryland, College Park. OCLC 843767978.(subscription required)
  3. ^ a b "Happy 90th Birthday to Founding Chair Jack Minker". www.cs.umd.edu.
  4. ^ Gallaire, Hervé; Minker, Jack; Nicolas, Jean-Marie (1989). "Logic and Databases: A Deductive Approach": 231-247. doi:10.1016/B978-0-934613-53-8.50020-0.closed access publication - behind paywall
  5. ^ Guide to the Jack Minker Papers, P-975 at the American Jewish Historical Society, New York, NY
  6. ^ Lobo, Jorge; Rajasekar, Arcot (1995). "Jack Minker -- A profile". Annals of Mathematics and Artificial Intelligence. 14 (2): 135-149. doi:10.1007/BF01530817.closed access publication - behind paywall
  7. ^ Minker, Jack (1982). "On indefinite databases and the closed world assumption". 138: 292-308. doi:10.1007/BFb0000066.closed access publication - behind paywall
  8. ^ "Who We Are -- Committee of Concerned Scientists". concernedscientists.org.
  9. ^ "Dr. Jack Minker's 2011 Pagels Award Acceptance Speech -- Committee of Concerned Scientists". concernedscientists.org.
  10. ^ "Jack Minker, professor emeritus" [faculty profile]. University of Maryland Institute for Advanced Computer Studies. Retrieved 2015-10-19.
  11. ^ "Fellows - M". IEEE Fellows. IEEE. 1991. Retrieved . for contributions to deductive databases, disjunctive logic programming, and artificial intelligence
  12. ^ "Jack Minker". ACM Fellows. ACM. 1994. Retrieved . For championing the rights of scientists to practice their profession freely and openly, for bringing to public attention the names of scientists deprived of their scientific freedom and human rights, and for giving these victims hope and making them aware of ACM's support.
  13. ^ "2011 Heinz R. Pagels Human Rights of Scientists Award". New York Academy of Sciences. 3 October 2011. Retrieved 2015.



  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Jack_Minker
 



 

Top US Cities

Like2do.com was developed using defaultLogic.com's knowledge management platform. It allows users to manage learning and research. Visit defaultLogic's other partner sites below:
PopFlock.com : Music Genres | Musicians | Musical Instruments | Music Industry