Jack Minker
Affiliations:- University of Maryland, College Park, USA
According to our database1,
Jack Minker
authored at least 144 papers
between 1960 and 2014.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1994, "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.".
IEEE Fellow
IEEE Fellow 1991, "For contributions to deductive databases, disjunctive logic programming, and artificial intelligence.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2014
Proceedings of the Computational Logic, 2014
2012
Proceedings of the Correct Reasoning, 2012
2011
Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
2007
IEEE Ann. Hist. Comput., 2007
IEEE Ann. Hist. Comput., 2007
2003
2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
2000
IEEE Trans. Knowl. Data Eng., 2000
1999
1998
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998
Integrity Constraints: Semantics and Applications.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998
1997
J. Log. Program., 1997
A Characterization of the Partial Stable Models For Disjunctive Databases.
Proceedings of the Logic Programming, 1997
Proceedings of the Thirteenth International Conference on Data Engineering, 1997
1996
J. Autom. Reason., 1996
Proceedings of the Logic in Databases, 1996
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996
1995
J. Log. Program., 1995
1994
J. Autom. Reason., 1994
Int. J. Cooperative Inf. Syst., 1994
Fundam. Informaticae, 1994
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994
Proceedings of the Applications of Databases, First International Conference, 1994
1993
Ann. Math. Artif. Intell., 1993
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993
1992
Ann. Math. Artif. Intell., 1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
A Distributed Load Balancing Scheme for Parallel Logic Programming.
Proceedings of the 1992 International Conference on Parallel Processing, 1992
Proceedings of the Database Theory, 1992
A Tractable Class of Disjunctive Deductive Databases.
Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992
Foundations of disjunctive logic programming.
Logic Programming, MIT Press, ISBN: 978-0-262-12165-1, 1992
1991
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases.
Proceedings of the Logic Programming, 1991
Theory of Disjunctive Logic Programs.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991
Proceedings of the Artificial and Mathematical Theory of Computation, 1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Commun. ACM, 1989
A Stratification Semantics for General Disjunctive Programs.
Proceedings of the Logic Programming, 1989
Toward A Foundation of Disjunctive Logic Programming.
Proceedings of the Logic Programming, 1989
Skeptical Reasoning and Disjunctive Programs.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989
Extending the Semantics of Logic Programs to Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1989
1988
Weak Completion Theory for Non-Horn Programs.
Proceedings of the Logic Programming, 1988
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases.
Proceedings of the Expert Database Systems, 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988
1987
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987
Informative and Cooperative Answers in Databases Using Integrity Constraints.
Proceedings of the Natural Language Understanding and Logic Programming, 1987
Deductive Databases: An Overview of Some Alternative Theories.
Proceedings of the Methodologies for Intelligent Systems, 1987
1986
Answering Queries in Indefinite Databases and the Null Value Problem.
Adv. Comput. Res., 1986
Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986
Semantic Query Optimization: Additional Constraints and Control Strategies.
Proceedings of the Expert Database Systems, 1986
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986
1985
Inf. Control., April, 1985
Computer Professionals Whose Scientific Freedom and Human Right Have Been Violated - 1984: A report of the ACM Commitee on Scientific Freedom and Human Rights.
Commun. ACM, 1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
A Natural Language Database Interface That Provides Cooperative Answers.
Proceedings of the Artificial Intelligence Applications, 1985
1984
Protected Circumscription.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984
Semantic Query Optimization in Expert Systems and Database Systems.
Proceedings of the Expert Database Systems, 1984
Proceedings of the 7th International Conference on Automated Deduction, 1984
1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
Proceedings of the National Conference on Artificial Intelligence, 1983
1982
Int. J. Parallel Program., 1982
Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982.
Commun. ACM, 1982
Logic Programming on ZMOB: A Highly Parallel Machine.
Proceedings of the International Conference on Parallel Processing, 1982
Logic Programming: A Parallel Approach.
Proceedings of the First International Logic Programming Conference, 1982
Interfacing Predicate Logic Languages and Relational Databases.
Proceedings of the First International Logic Programming Conference, 1982
Proceedings of the 6th Conference on Automated Deduction, 1982
1981
Computer Scientists Whose Scientific Freedom and Human Rights Have Been Violated: A Report of the ACM Commitee on Scientific Freedom and Human Rights.
Commun. ACM, 1981
Numerical Dependencies.
Proceedings of the XP2 Workshop on Relational Database Theory, 1981
1980
IEEE Ann. Hist. Comput., 1980
1979
Optimization in Deductive and Conventional Relational Database Systems.
Proceedings of the Advances in Data Base Theory, 1979
Background for Advances in Data Base Theory.
Proceedings of the Advances in Data Base Theory, 1979
1978
ACM Trans. Database Syst., 1978
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion).
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978
1977
SIGIR Forum, 1977
Int. J. Parallel Program., 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
Proceedings of the Logic and Data Bases, 1977
Proceedings of the Logic and Data Bases, 1977
1976
IEEE Trans. Computers, 1976
1975
Commun. ACM, 1975
Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data, 1975
1974
Int. J. Parallel Program., 1974
Int. J. Parallel Program., 1974
1973
The Q<sup>*</sup> Algorithm - A Search Strategy for a Deductive Question-Answering System.
Artif. Intell., 1973
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973
1972
An evaluation of query expansion by the addition of clustered terms for a document retrieval system.
Inf. Storage Retr., 1972
1971
Introduction and Perspectives for the 1971 ACM Information Storage and Retrieval Symposium.
Proceedings of the ACM SIGIR Information Storage and Retrieval Symposium, 1971
1970
1966
Proceedings of the 21st national conference, 1966
1961
1960
Proceedings of the Papers presented at the 1960 western joint IRE-AIEE-ACM computer conference, 1960