Jack Minker | Academic Influence

Jack Minker's AcademicInfluence.com Rankings

Jack Minker

Computer Science

#418

World Rank

#434

Historical Rank

#237

USA Rank

Artificial Intelligence

#114

World Rank

#117

Historical Rank

#52

USA Rank

Database

#385

World Rank

#403

Historical Rank

#168

USA Rank

computer-science Degrees

Download Badge

Computer Science

Jack Minker's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Mathematics City College of New York

Similar Degrees You Can Earn

Why Is Jack Minker Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jack Minker was a leading authority in artificial intelligence, deductive databases, logic programming and non-monotonic reasoning. He was also an internationally recognized leader in the field of human rights of computer scientists. He was an Emeritus Professor in the University of Maryland Department of Computer Science, which is part of the College of Computer, Mathematical, and Natural Sciences.

(See a Problem?)

Jack Minker's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Art of Computer Programming, Vol. 3: Sorting and Searching (1974) (1195)
Logic and Databases: A Deductive Approach (1984) (816)
Logic and Data Bases (1978) (692)
Foundations of deductive databases and logic programming (1988) (607)
On Indefinite Databases and the Closed World Assumption (1987) (587)
Logic-based approach to semantic query optimization (1990) (395)
Foundations of disjunctive logic programming (1992) (362)
An Analysis of Some Graph Theoretical Cluster Techniques (1970) (254)
Logic-Based Artificial Intelligence (2000) (251)
Combining Multiple Knowledge Bases (1991) (236)
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES (1992) (208)
An overview of cooperative answering (1992) (179)
A Fixpoint Semantics for Disjunctive Logic Programs (1990) (125)
Foundations of Semantic Query Optimization for Deductive Databases (1988) (113)
An evaluation of query expansion by the addition of clustered terms for a document retrieval system (1972) (105)
The impact of logic programming on databases (1992) (102)
Logic and Databases: A 20 Year Retrospective (1996) (102)
Multiple Query Processing in Deductive Databases using Query Graphs (1986) (98)
Answering Queries in Indefinite Databases and the Null Value Problem (1986) (91)
Integrity Constraints: Semantics and Applications (1998) (91)
Combining Knowledge Bases Consisting of First Order Theories (1991) (88)
Relaxation as a platform for cooperative answering (1992) (86)
Semantic Query Optimization in Expert Systems and Database Systems (1984) (82)
Modal logics for knowledge representation systems (1991) (80)
Perspectives in Deductive Databases (1988) (78)
On recursive axioms in deductive databases (1983) (77)
An Overview of Nonmonotonic Reasoning and Logic Programming (1993) (69)
Circumscription and Disjunctive Logic Programming (1991) (68)
An Experimental Relational Data Base System Based on Logic (1977) (60)
The Use of a Semantic Network in a Deductive Question-Answering System (1977) (54)
An Extension to Linear Resolution with Selection Function (1982) (54)
Search strategy and selection function for an inferential relational system (1978) (51)
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (1991) (49)
Bottom-Up Compuation of Perfect Models for Disjunctive Theories (1995) (49)
Disjunctive Logic Programming: A Survey and Assessment (2002) (48)
The SUPREM architecture: a new intelligent paradigm (1986) (47)
Advances in Data Base Theory (1984) (47)
Generalized Well-founded Semantics for Logic Programs (Extended Abstract) (1990) (46)
Semantics of Disjunctive Deductive Databases (1992) (46)
Semantic query optimization for object databases (1997) (46)
An Overview of Cooperative Answering in Databases (1998) (46)
Semantics for Disjunctive Logic Programs with Explicit and Default Negation (1994) (44)
Optimization in Deductive and Conventional Relational Database Systems (1979) (43)
Resolution, Refinements, and Search Strategies: A Comparative Study (1976) (42)
Inferences for Numerical Dependencies (1985) (42)
State-space problem-reduction, and theorem proving—some relationships (1975) (38)
Semantics for disjunctive logic programs (1989) (38)
Model Generation and State Generation for Disjunctive Logic Programs (1995) (37)
PRISM - A Parallel Inference System for Problem Solving (1983) (37)
An Architecture for a Cooperative Database System (1994) (37)
A logic-based approach to data integration (2001) (36)
Semantic Query Optimization: Additional Constraints and Control Strategies (1986) (35)
Overview of disjunctive logic programming (1994) (35)
Disjunctive Deductive Databases (1994) (34)
Generalized disjunctive well-founded semantics for logic programs (1991) (32)
Informative and Cooperative Answers in Databases Using Integrity Constraints (1987) (31)
Interfacing Predicate Logic Languages and Relational Databases (1982) (30)
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs (1991) (30)
Computing Protected Circumscription (1985) (29)
An Overview and Introduction to Logic and Data Bases (1977) (29)
The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System (1973) (28)
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. (1989) (27)
Procedural Interpretation of Non-Horn Logic Programs (1988) (26)
On Extended Disjunctive Logic Programs (1993) (25)
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs (1994) (25)
Completeness Results for Circumscription (1986) (25)
Weak Generalized Closed World Assumption (1989) (25)
Performing inferences over relation data bases (1975) (24)
A Natural Language Database Interface That Provides Cooperative Answers (1985) (24)
An overview of associative or content addressable memory systems and a KWIC index to the literature (1971) (23)
A PREDICATE CALCULUS BASED SEMANTIC NETWORK FOR DEDUCTIVE SEARCHING (1979) (23)
Logic and Databases: Past, Present, and Future (1997) (23)
A Cooperative Answering System (1992) (23)
Semantic Query Optimization for Bottom-Up Evaluation (1996) (22)
Normalization and Axiomatization for Numerical Dependencies (1985) (22)
Toward A Foundation of Disjunctive Logic Programming (1989) (21)
Pi-Representation: A Clause Representation for Parallel Search (1975) (21)
Logic-Based Query Optimization for Object Databases (2000) (21)
Foundations of deductive databases and logic (1987) (20)
Model theoretic approach to view updates in deductive databases (1994) (19)
Information storage and retrieval: a survey and functional description (1977) (19)
Applications of Protected Circumscription (1984) (19)
Weak Completion Theory for Non-Horn Programs (1988) (18)
Processing Multiple Queries in Database Systems. (1982) (18)
Disjunctive LP+integrity constraints= stable model semantics (1993) (18)
Theory of Disjunctive Logic Programs (1991) (18)
View updates in stratified disjunctive databases (1993) (17)
The Design and Simulation of an Information Processing System (1961) (17)
Logic and Databases: A History of Deductive Databases (2014) (16)
A Note on Fuzzy Deduction (1980) (16)
On optimizing the evaluation of a set of expressions (1982) (15)
Advances in Data Base Theory: Volume 1 (1981) (15)
Deriving term relations for a corpus by graph theoretical clusters (1970) (15)
Semantics of Horn and Disjunctive Logic Programs (1991) (14)
Skeptical Reasoning and Disjunctive Programs (1989) (14)
Document retrieval experiments using cluster analysis (1973) (14)
Using Priorities to Combine Knowledge Bases (1996) (13)
Numerical Dependencies (1981) (13)
A characterization of the partial stable models for disjunctive deductive databases (1997) (13)
Deductive database theories (1989) (13)
User Needs and Language Generation Issues in a Cooperative Answering System (1991) (13)
Producing cooperative answers in deductive data bases (1990) (13)
A Stratification Semantics for General Disjunctive Programs (1989) (13)
COMPUTING PERFECT AND STABLE MODELS USING ORDERED MODEL TREES (1993) (12)
Logic Programming: A Parallel Approach (1982) (12)
Combining databases with prioritized information (1993) (12)
A study of the utility of associative memory processors (1966) (11)
Deductive database systems and knowledge base systems (1990) (11)
Intelligent Control Using Integrity Constraints (1983) (10)
A Characterization of the Partial Stable Models For Disjunctive Databases (1997) (10)
Deductive database (2003) (10)
The Workshop on Logic-Based Artificial Intelligence (1999) (10)
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases (1988) (9)
Logic Programming on ZMOB: A Highly Parallel Machine (1982) (9)
Combining Default Logic Databases (1994) (9)
Digital Simulation of Complex Traffic Problems in Communications Systems (1957) (9)
Relational Data System Study. (1970) (8)
Ordered model trees: A normal form for disjunctive deductive databases (1993) (8)
View Updates in Stratiied Disjunctive Databases* (1993) (8)
Query Evaluation in Partitoned Disjunctive Deductive Databases (1993) (8)
Updating disjunctive databases via model trees (1995) (7)
Storage Requirements for Information Handling Centers (1970) (7)
Optimization of Boolean Expressions-Historical Developments (1980) (7)
Introduction to logic-based artificial intelligence (2000) (7)
PRISM: a testbed for parallel control (1990) (7)
BEGINNING OF COMPUTING AND COMPUTER SCIENCE AT THE UNIVERSITY OF MARYLAND (2004) (6)
A Tractable Class of Disjunctive Deductive Databases (1992) (6)
An overview of the PRISM project (1987) (6)
ON DEDUCTIVE RELATIONAL DATABASES * † (1983) (6)
Cooperative answers in database systems (1993) (6)
An architecture and implementation for a cooperative database system (1999) (5)
Binary relations, matrices and inference developments (1978) (5)
SIMPLIFIED FULL COVERAGE PREPARATIONS. (1965) (5)
Combining Closed World Assumptions with Stable Negation (1997) (5)
Logic knowledge bases with two default rules (1998) (5)
Representations for disjunctive deductive database (1993) (5)
Control structure of a pattern-directed search system (1977) (5)
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs (1985) (5)
Mixing a Default Rule with Stable Negation (1996) (5)
Deductive Databases: An Overview of Some Alternative Theories (1987) (4)
Protected Circumscription (1984) (4)
Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter (1999) (4)
Disjunctive Deductive Databases: Semantics, Updates, and Architecture * (1995) (4)
Using integrity constraints to control search in knowledge base systems (1993) (4)
Analysis of data processing systems (1969) (4)
On stratified disjunctive programs (1990) (3)
MRPPS—An interactive refutation proof procedure system for question-answering (1974) (3)
Parallel problem solving on ZMOB (1983) (3)
The Earley Algorithm as a Problem Representation (1974) (3)
LOGICAL INFERENCE AS AN AID TO ANALYSIS IN LARGE DATABASES (1981) (3)
Semantics for normal disjunctive logic programs (1990) (3)
Graph dissection techniques for vlsi and algorithms (1987) (3)
ADVANCED RECOGNITION TECHNIQUES STUDY (1963) (3)
Opinion paper: Science, shcharansky, and the soviets (1978) (3)
From Search Engines to Question Answering Systems – The Problems of World Knowledge , Relevance , Deduction and Precisiation 1 (2006) (3)
Background for Advances in Data Base Theory (1979) (3)
Developing a Computer Science Department at the University of Maryland (2007) (3)
Machine intelligence 3: Edited by Donald Michie. American Elsevier, New York, 1968. pp. 405. $11.50 (1970) (3)
ANALYSIS OF SMALL ASSOCIATIVE MEMORIES FOR DATA STORAGE AND RETRIEVAL SYSTEMS. VOLUME 1, MANAGEMENT REPORT (1966) (3)
Control of Logic Prosrams Using Integrity Constraints (1983) (2)
Issues in Developing Expert Systems (1983) (2)
Semantics of knowledge-based systems with multiple forms of negation (1996) (2)
Forming a Computer Science Center at the University of Maryland (2007) (2)
ANALYSIS OF SMALL ASSOCIATIVE MEMORIES FOR DATA STORAGE AND RETRIEVAL SYSTEMS. VOLUME 2. TECHNICAL DISCUSSION (1966) (2)
Logic-Based Semantic Query Optimization for Object Databases (1997) (2)
Scientific freedom and human rights of computer professionals—1989 (1989) (2)
Global parallel unification for large question-answering systems (1974) (2)
Deductive Databases (2008) (2)
COMMENTS ON “LOGICAL INFERENCE AS AN AID TO ANALYSIS IN LARGE DATABASES” (1981) (2)
Perspectives in Deductive Databases (Abstract). (1987) (1)
Key word in context index and bibliography on computer systems evaluation techniques (1969) (1)
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion) (1978) (1)
Computer professionals whose scientific freedom and human rights have been violated–1982: a report of the ACM committee on scientific freedom and human rights (1982) (1)
Human rights: some perspectives (1987) (1)
Computer scientists whose scientific freedom and human rights have been violated: a report of the ACM committee on scientific freedom and human rights (1981) (1)
Key word in context index and bibliography on computer systems simulation and evaluation (1969) (1)
Outline bibliography, and KWIC index on mechanical theorem proving and its applications (1971) (1)
A Parallel Self-Modifying Default Reasoning System (1986) (1)
Note: This Version of the Paper Has Been Reconstituted with Optical Char (1)
Perspectives in deductive databases (Abstract only) (1987) (1)
A Distributed Load Balancing Scheme for Parallel Logic Programming (1992) (1)
Opening: Homage to Michael Gelfond on His 65th Birthday (2011) (1)
NSF meeting on national security controls on science and engineering (1982) (1)
Logic and Knowledge Bases (2011) (1)
Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France (1984) (1)
Counterexamples and conjectures (1971) (1)
Parallel Logic Programming and ZMOB and Parallel Systems Software and Hardware. (1985) (0)
Or Clause Encounters of a Logical Kind) (1978) (0)
Representations for Disjunctive Deductive (1993) (0)
Parallel Logic Programming and ZMOB (1988) (0)
A study of the utility of a hybrid associative processor (1966) (0)
Parallel Logic Programming and Parallel Systems Software and Hardware (1989) (0)
Machine intelligence 4: (Edited by B. Meltzer and D. Michie.) American Elsevier, New York, 1969, pp. 508 $15.00 (1971) (0)
Computer professionals whose scientific freedom and human rights have been violated—1984: a report of the ACM committee on scientific freedom and human rights (1985) (0)
Logic programming with ordered disjunction (1989) (0)
In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002 (2002) (0)
Extremal interpolatory problems in the unit disc (1960) (0)
On the number of trees with n terminal nodes (1970) (0)
Non-Monotonic Reasoning, Belief Systems, and Parallelism (1988) (0)
Editorial (2001) (0)
Relational Data System Study. Final Report, 12 December 1969-12 June 1970. (1970) (0)
Logic and databases: a response (1987) (0)
Deductive Databases and Knowledge Base Systems. (1995) (0)
Representations of the language recognition problem for a theorem prover (1974) (0)
ANSWER AND REASON EXTRACTION, NATURAL LANGUAGE AND VOICE OUTPUT FOR DEDUCTIVE RELATIONAL DATA BASES (1980) (0)
Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627) (2021) (0)
Review of "Evaluation of data-base management systems" by J.P. Fry and E.H. Sibley. (1977) (0)
QIAN AND WIEDERHOLD (2008) (0)
Proceedings of the 1971 international ACM SIGIR conference on Information storage and retrieval (1971) (0)
Historical Developments in Computers to the 1950s (1998) (0)
IN MEMORIAM: RAYMOND REITER (2003) (0)
Artificial Intelligence Research at the University of Maryland (1984) (0)
Introduction and perspectives for the 1971 ACM Information Storage and Retrieval Symposium (1971) (0)
Distributed Belief Systems (1991) (0)
A note on answer extraction in resolution-based systems (1977) (0)
The Maryland Refutation Proof Procedure. (1972) (0)
Annual review of information science and technology: Volume III. Carlos A. Cuadra (editor). Encyclopedia Britannica, 1968. 457 pp (1969) (0)
Completion semantics for general disjunctive logic programs (1991) (0)
Evaluation of an Adaptive Approach to Buffer Storage Allocation (1971) (0)
Parallel logic programming and ZMOB. Final report, 30 June 1982-13 February 1988 (1988) (0)
Non-Monotonic Reasoning , Belief Systems , and Parallelism FINAL REPORT (0)
A stochastic model of an information center (1969) (0)
Machine intelligence no. 7: B. Meltzer and D. Michie. Edinburgh University Press, Edinburgh, U.K. 1972. pp. 485, £12.00 (1974) (0)
File structures for on-line systems: David Lefkovitz. Spartan Books, New York, 1969. pp. 215. $11.95 (1970) (0)
Editorial (by the Editor in Chief) (2001) (0)
To Vladimir Lifschitz on His 65th Birthday (2012) (0)
Alexander Lerner: A Biographical Sketch (1984) (0)
Proceedings of the Symposium on Information Storage and Retrieval...April 1-2, 1971. (1971) (0)
H7 3-804s&y'' Representations of the Language Recognition Problem. for a Theorem Proyer Representations of the Language Recognition Problem for a Theorem Proyer (2008) (0)
Eulogy: Walter W. Jacobs, 1914-1982 (1984) (0)
The Maryland Refutation Proof Procedure System (2011) (0)

This paper list is powered by the following services:

Other Resources About Jack Minker

en.wikipedia.org

What Schools Are Affiliated With Jack Minker?

Jack Minker is affiliated with the following schools:

Image Attributions

Image Source for Jack Minker