31:
668:
601:
543:
385:
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
778:
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
333:
Minker has been vice-chairman of the
Committee of Concerned Scientists since 1973, and vice-chairman of the Committee on Scientific Freedom and Human Rights (CSFHR) of the Association for Computing Machinery from 1980 to 1989. He led the struggle for the release of
386:
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
846:
861:
325:
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 was
Founding Editor-in-Chief of the journal
311:, and the Auerbach Corporation. 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.
866:
371:
318:
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
871:
367:
375:
851:
730:
314:
Minker was one of the founders of the area of deductive databases and disjunctive logic programming. He has made important contributions to semantic
484:
658:
150:
876:
836:
379:
319:
559:
831:
533:
841:
699:
412:
120:
856:
387:
466:
288:
251:. He was also an internationally recognized leader in the field of human rights of computer scientists. He was an
105:
762:
30:
304:
259:
Department of
Computer Science, which is part of the College of Computer, Mathematical, and Natural Sciences.
280:
248:
236:
100:
738:
667:
600:
542:
256:
826:
821:
750:
for contributions to deductive databases, disjunctive logic programming, and artificial intelligence
589:
315:
240:
80:
54:
791:
164:
Some
Applications of Orthogonal Systems of Functions to Interpolation and Analytic Continuation
654:
529:
517:
511:
438:
355:
244:
193:
354:, was published in 2012 by IEEE Computer Society Press. His former doctoral students include
646:
617:
581:
521:
339:
272:
268:
175:
140:
95:
62:
700:"Dr. Jack Minker's 2011 Pagels Award Acceptance Speech β Committee of Concerned Scientists"
343:
335:
292:
180:
720:" . University of Maryland Institute for Advanced Computer Studies. Retrieved 2015-10-19.
525:
276:
815:
506:
347:
58:
593:
352:
Scientific
Freedom & Human Rights: Scientists of Conscience During the Cold War
641:
Minker, Jack (1982). "On indefinite databases and the closed world assumption".
555:
489:
390:
for his work on behalf of scientific freedom and human rights for scientists.
116:
681:
442:
211:
428:
408:
717:
847:
Fellows of the
Association for the Advancement of Artificial Intelligence
252:
163:
84:
650:
585:
267:
Minker was born on July 4, 1927 in
Brooklyn, New York. He received his
645:. Lecture Notes in Computer Science. Vol. 138. pp. 292β308.
157:
862:
Fellows of the
American Association for the Advancement of Science
572:
Lobo, Jorge; Rajasekar, Arcot (1995). "Jack Minker β A profile".
308:
303:
Minker started his career in industry in 1951, working at the
284:
342:
from the late Soviet Union. He also campaigned on behalf of
504:
Gallaire, HervΓ©; Minker, Jack; Nicolas, Jean-Marie (1989).
372:
Association for the Advancement of Artificial Intelligence
235:(4 July 1927 β 9 April 2021) was a leading authority in
867:
1994 fellows of the Association for Computing Machinery
792:"2011 Heinz R. Pagels Human Rights of Scientists Award"
618:"Collection: Jack Minker papers | Archival Collections"
430:
Generating cooperative answers in deductive databases
437:(PhD thesis). University of Maryland, College Park.
467:"Happy 90th Birthday to Founding Chair Jack Minker"
368:
American Association for the Advancement of Science
206:
186:
174:
156:
146:
136:
112:
91:
69:
40:
21:
505:
574:Annals of Mathematics and Artificial Intelligence
513:Readings in Artificial Intelligence and Databases
376:Institute of Electrical and Electronics Engineers
682:"Who We Are β Committee of Concerned Scientists"
797:. New York Academy of Sciences. 3 October 2011
16:Artificial intelligence researcher (1927β2021)
8:
872:University of Maryland, College Park faculty
507:"Logic and Databases: A Deductive Approach"
378:(IEEE) in 1991, and founding Fellow of the
404:
402:
29:
18:
328:Theory and Practice of Logic Programming
398:
370:(AAAS) in 1989, founding Fellow of the
556:Guide to the Jack Minker Papers, P-975
422:
420:
643:6th Conference on Automated Deduction
461:
459:
457:
455:
7:
612:
610:
151:University of Maryland, College Park
852:Artificial intelligence researchers
380:Association for Computing Machinery
366:Minker was elected a Fellow of the
320:Generalized Closed World Assumption
291:in 1959 for research supervised by
560:American Jewish Historical Society
526:10.1016/B978-0-934613-53-8.50020-0
14:
666:
599:
541:
718:Jack Minker, professor emeritus
374:(AAAI) in 1990, Fellow of the
1:
427:Gaasterland, Theresa (1992).
413:Mathematics Genealogy Project
737:. IEEE. 1991. Archived from
388:New York Academy of Sciences
893:
877:21st-century American Jews
837:Jewish American scientists
289:University of Pennsylvania
106:University of Pennsylvania
305:Bell Aircraft Corporation
202:
129:
28:
832:Scientists from Brooklyn
263:Education and early life
842:Brooklyn College alumni
704:concernedscientists.org
686:concernedscientists.org
448:(subscription required)
281:University of Wisconsin
249:non-monotonic reasoning
237:artificial intelligence
101:University of Wisconsin
485:"Jack Minker Obituary"
257:University of Maryland
622:archives.lib.umd.edu
857:Fellows of the IEEE
336:Anatoly Shcharansky
299:Career and research
241:deductive databases
35:Jack Minker in 2007
706:. 25 October 2011.
651:10.1007/BFb0000066
586:10.1007/BF01530817
316:query optimization
121:Allen Newell Award
660:978-3-540-11558-8
362:Honors and awards
356:Terry Gaasterland
255:Professor in the
245:logic programming
230:
229:
194:Terry Gaasterland
187:Doctoral students
131:Scientific career
884:
807:
806:
804:
802:
796:
788:
782:
781:
775:
774:
759:
753:
752:
747:
746:
727:
721:
714:
708:
707:
696:
690:
689:
678:
672:
671:
670:
664:
638:
632:
631:
629:
628:
614:
605:
604:
603:
597:
569:
563:
553:
547:
546:
545:
539:
509:
501:
495:
494:
493:. 12 April 2021.
481:
475:
474:
463:
450:
449:
446:
424:
415:
406:
340:Alexander Lerner
279:degree from the
273:Brooklyn College
269:Bachelor of Arts
226:
223:
221:
219:
217:
215:
213:
176:Doctoral advisor
170:
141:Computer Science
125:
96:Brooklyn College
76:
50:
48:
33:
19:
892:
891:
887:
886:
885:
883:
882:
881:
812:
811:
810:
800:
798:
794:
790:
789:
785:
772:
770:
761:
760:
756:
744:
742:
741:on May 15, 2007
729:
728:
724:
715:
711:
698:
697:
693:
680:
679:
675:
665:
661:
640:
639:
635:
626:
624:
616:
615:
608:
598:
571:
570:
566:
554:
550:
540:
536:
503:
502:
498:
483:
482:
478:
465:
464:
453:
447:
426:
425:
418:
407:
400:
396:
382:(ACM) in 1994.
364:
344:Andrei Sakharov
301:
293:Bernard Epstein
265:
210:
198:
181:Bernard Epstein
168:
123:
119:
104:
99:
92:Alma mater
87:
78:
74:
65:
52:
46:
44:
36:
24:
17:
12:
11:
5:
890:
888:
880:
879:
874:
869:
864:
859:
854:
849:
844:
839:
834:
829:
824:
814:
813:
809:
808:
783:
754:
722:
709:
691:
673:
659:
633:
606:
580:(2): 135β149.
564:
562:, New York, NY
548:
534:
496:
476:
473:. 5 July 2017.
471:www.cs.umd.edu
451:
416:
397:
395:
392:
363:
360:
350:. His memoir,
346:and his wife,
300:
297:
277:Master of Arts
264:
261:
228:
227:
208:
204:
203:
200:
199:
197:
196:
190:
188:
184:
183:
178:
172:
171:
160:
154:
153:
148:
144:
143:
138:
134:
133:
127:
126:
114:
110:
109:
93:
89:
88:
79:
77:(aged 93)
71:
67:
66:
53:
42:
38:
37:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
889:
878:
875:
873:
870:
868:
865:
863:
860:
858:
855:
853:
850:
848:
845:
843:
840:
838:
835:
833:
830:
828:
825:
823:
820:
819:
817:
793:
787:
784:
780:
768:
764:
763:"Jack Minker"
758:
755:
751:
740:
736:
732:
731:"Fellows - M"
726:
723:
719:
713:
710:
705:
701:
695:
692:
687:
683:
677:
674:
669:
662:
656:
652:
648:
644:
637:
634:
623:
619:
613:
611:
607:
602:
595:
591:
587:
583:
579:
575:
568:
565:
561:
557:
552:
549:
544:
537:
535:9780934613538
531:
527:
523:
519:
515:
514:
508:
500:
497:
492:
491:
486:
480:
477:
472:
468:
462:
460:
458:
456:
452:
444:
440:
436:
432:
431:
423:
421:
417:
414:
410:
405:
403:
399:
393:
391:
389:
383:
381:
377:
373:
369:
361:
359:
357:
353:
349:
348:Yelena Bonner
345:
341:
337:
331:
329:
323:
321:
317:
312:
310:
306:
298:
296:
294:
290:
286:
283:in 1950, and
282:
278:
274:
270:
262:
260:
258:
254:
250:
246:
242:
238:
234:
225:
209:
205:
201:
195:
192:
191:
189:
185:
182:
179:
177:
173:
166:
165:
161:
159:
155:
152:
149:
145:
142:
139:
135:
132:
128:
122:
118:
115:
111:
107:
102:
97:
94:
90:
86:
82:
72:
68:
64:
60:
59:New York City
56:
43:
39:
32:
27:
20:
799:. Retrieved
786:
777:
771:. Retrieved
766:
757:
749:
743:. Retrieved
739:the original
735:IEEE Fellows
734:
725:
712:
703:
694:
685:
676:
642:
636:
625:. Retrieved
621:
577:
573:
567:
551:
512:
499:
488:
479:
470:
434:
429:
384:
365:
351:
332:
327:
324:
313:
302:
271:degree from
266:
232:
231:
162:
147:Institutions
130:
75:(2021-04-09)
73:9 April 2021
827:2021 deaths
822:1927 births
769:. ACM. 1994
767:ACM Fellows
516:. pp.
409:Jack Minker
233:Jack Minker
51:4 July 1927
23:Jack Minker
816:Categories
801:15 October
773:2010-01-23
745:2010-01-23
627:2020-09-08
490:Legacy.com
394:References
117:ACM Fellow
47:1927-07-04
443:843767978
287:from the
275:in 1949,
779:support.
594:34419987
322:(GCWA).
253:Emeritus
85:Maryland
81:Bethesda
63:New York
55:Brooklyn
558:at the
518:231β247
435:acm.org
411:at the
222:/minker
220:/people
207:Website
657:
592:
532:
441:
169:(1959)
167:
158:Thesis
137:Fields
124:(2005)
113:Awards
795:(PDF)
590:S2CID
224:.html
212:prism
108:(PhD)
803:2015
655:ISBN
530:ISBN
439:OCLC
338:and
247:and
218:.edu
216:.umd
103:(MS)
98:(AB)
70:Died
41:Born
647:doi
582:doi
522:doi
309:RCA
285:PhD
214:.cs
818::
776:.
765:.
748:.
733:.
702:.
684:.
653:.
620:.
609:^
588:.
578:14
576:.
528:.
520:.
510:.
487:.
469:.
454:^
433:.
419:^
401:^
358:.
330:.
307:,
295:.
243:,
239:,
83:,
61:,
57:,
805:.
716:"
688:.
663:.
649::
630:.
596:.
584::
538:.
524::
445:.
49:)
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.