Background
Minker, Jack was born on July 4, 1927 in Brooklyn. Son of Harry and Rose (Lapuck) Minker.
http://www.amazon.com/gp/product/B010BFDDG6/?tag=2022091-20
http://www.amazon.com/gp/product/B010BFD9EW/?tag=2022091-20
http://www.amazon.com/gp/product/B012YTDJ3O/?tag=2022091-20
(This monograph provides an intensive course for graduate ...)
This monograph provides an intensive course for graduate students in computer science, as well as others interested in extensions of logic programming, on the theoretical foundations of disjunctive logic programming. Disjunctive logic programming permits the description of indefinite or incomplete information through a disjunction of atoms in the head of a clause. The authors describe model theoretic semantics, proof theoretic semantics, and fix point semantics for disjunctive and normal disjunctive programs (a normal disjunctive program permits negated atoms in the body of a clause) and present theories of negation. They conclude with selected applications to knowledge databases. Jorge Lobo is Assistant Professor in Computer Science at the University of Illinois, Chicago Circle. Jack Minker is Professor in the Department of Computer Science and Institute for Advanced Computer Studies at the University of Maryland. Arcot Rajasekar is Assistant Professor in the Computer Science Department at the University of Kentucky. Contents: Introduction and Background. Definitions and Terminology. Declarative Semantics. Proof Theory. Negation. Weak Negation. Normal Logic Programs. Procedural Semantics: Normal Programs. Disjunctive Databases. Applications.
http://www.amazon.com/gp/product/0262121654/?tag=2022091-20
Minker, Jack was born on July 4, 1927 in Brooklyn. Son of Harry and Rose (Lapuck) Minker.
Bachelor of Arts cum laude with honors in Mathematics, Brooklyn College, 1949; Master of Science in Mathematics, University of Wisconsin, 1950; Doctor of Philosophy in Mathematics, University of Pennsylvania, 1959.
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. He started his career in industry in 1951, working at the Bell Aircraft Corporation, Radio Corporation of America, 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. 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).
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, 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 Anatoly Shcharansky and Alexander Lerner from the late Soviet Union.
His memoir, Scientific Freedom & Human Rights: Scientists of Conscience During the Cold War, was published in 2012 by Institute of Electrical and Electronics Engineers Computer Society Press.
(This monograph provides an intensive course for graduate ...)
Vice chairman Committee Concerned Scientists, since 1972. With United States Army, 1945-1946. Fellow American Association for the Advancement of Science, Association for Computing Machinery (Association for Computing Machinery (ACM)), Institute of Electrical and Electronics Engineers (editorial board Expert Information Sys. journal), American Association Artificial Intelligence (founding).
Member Association Computing Machinery (chairman national program committee 1968-1969, vice Chairman of Commission on science freedom andhuman rights 1979-1989, Outstanding Contribution award 1985).
Married Rita Goldberg, June 24, 1951 (deceased October 11, 1988). Children: Michael Saul, Sally Anne. Married Johanna Cartee Weinstein, January 19, 1997.
