Jack Minker

According to our database1, Jack Minker authored at least 140 papers between 1961 and 2014.

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 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
Logic and Databases: A History of Deductive Databases.
Proceedings of the Computational Logic, 2014

2012
To Vladimir Lifschitz on His 65th Birthday.
Proceedings of the Correct Reasoning, 2012

2011
Logic and Knowledge Bases.
Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011

Opening: Homage to Michael Gelfond on His 65th Birthday.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2008
Deductive Databases.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007
Developing a Computer Science Department at the University of Maryland.
IEEE Annals of the History of Computing, 2007

Forming a Computer Science Center at the University of Maryland.
IEEE Annals of the History of Computing, 2007

2003
In Memoriam: Raymond Reiter.
Computational Intelligence, 2003

In Memoriam: Raymond Reiter.
AI Magazine, 2003

2002
A logic-based approach to data integration.
TPLP, 2002

Disjunctive Logic Programming: A Survey and Assessment.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Editorial (by the Editor in Chief).
TPLP, 2001

A logic-based approach to data integration
CoRR, 2001

2000
Logic-Based Query Optimization for Object Databases.
IEEE Trans. Knowl. Data Eng., 2000

1999
The Workshop on Logic-Based Artificial Intelligence.
AI Magazine, 1999

1998
Logic Knowledge Bases With Two Default Rules.
Ann. Math. Artif. Intell., 1998

An Overview of Cooperative Answering in Databases.
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
Model Generation and State Generation for Disjunctive Logic Programs.
J. Log. Program., 1997

Combining Closed World Assumptions with Stable Negation.
Fundam. Inform., 1997

Logic and Databases: Past, Present, and Future.
AI Magazine, 1997

A Characterization of the Partial Stable Models For Disjunctive Databases.
Proceedings of the Logic Programming, 1997

Semantic Query Optimization for Object Databases.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

1996
Model Theoretic Approach to View Updates in Deductive Databases.
J. Autom. Reasoning, 1996

Using Priorities to Combine Knowledge Bases.
Int. J. Cooperative Inf. Syst., 1996

Logic and Databases: A 20 Year Retrospective.
Proceedings of the Logic in Databases, 1996

Semantic Query Optimization for Bottom-Up Evaluation.
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995
Bottom-Up Compuation of Perfect Models for Disjunctive Theories.
J. Log. Program., 1995

Combining Databases with Prioritized Information.
J. Intell. Inf. Syst., 1995

Computing Perfect and Stable Model Using Ordered Model Trees.
Computational Intelligence, 1995

1994
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases.
J. Autom. Reasoning, 1994

Query Evaluation in Partitoned Disjunctive Deductive Databases.
Int. J. Cooperative Inf. Syst., 1994

Combining Default Logic Databases.
Int. J. Cooperative Inf. Syst., 1994

Semantics for Disjunctive Logic Programs with Explicit and Default Negation.
Fundam. Inform., 1994

Overview of Disjunctive Logic Programming.
Ann. Math. Artif. Intell., 1994

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs.
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

An Architecture for a Cooperative Database System.
Proceedings of the Applications of Databases, First International Conference, 1994

1993
An Overview of Nonmonotonic Reasoning and Logic Programming.
J. Log. Program., 1993

View Updates in Stratified Disjunctive Databases.
J. Autom. Reasoning, 1993

Disjunctive LP + Integrity Constraints = Stable Model Semantics.
Ann. Math. Artif. Intell., 1993

On Extended Disjunctive Logic Programs.
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992
Relaxation as a Platform for Cooperative Answering.
J. Intell. Inf. Syst., 1992

An Overview of Cooperative Answering.
J. Intell. Inf. Syst., 1992

Combining Knowledge Bases Consisting of First-Order Analysis.
Computational Intelligence, 1992

The Impact of Logic Programming on Databases.
Commun. ACM, 1992

Generalized Disjunctive Well-Founded Semantics for Logic Programs.
Ann. Math. Artif. Intell., 1992

A Cooperative Answering System.
Proceedings of the Logic Programming and Automated Reasoning, 1992

Disjunctive Deductive Databases.
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

Semantics of Disjunctive Deductive Databases.
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
Combining Multiple Knowledge Bases.
IEEE Trans. Knowl. Data Eng., 1991

Semantics of Horn and Disjunctive Logic Programs.
Theor. Comput. Sci., 1991

WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Combining Knowledge Bases Consisting of First Order Theories.
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

Circumscription and Disjunctive Logic Programming.
Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990
Logic-Based Approach to Semantic Query Optimization.
ACM Trans. Database Syst., 1990

A Fixpoint Semantics for Disjunctive Logic Programs.
J. Log. Program., 1990

On Stratified Disjunctive Programs.
Ann. Math. Artif. Intell., 1990

Generalized Well-founded Semantics for Logic Programs (Extended Abstract).
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
Deductive database theories.
Knowledge Eng. Review, 1989

Weak Generalized Closed World Assumption.
J. Autom. Reasoning, 1989

Scientific Freedom and Human Rights of Computer Professionals - 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
Perspectives in Deductive Databases.
J. Log. Program., 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

Procedural Interpretation of Non-Horn Logic Programs.
Proceedings of the 9th International Conference on Automated Deduction, 1988

Introduction
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

Foundations of Semantic Query Optimization for Deductive Databases
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Logic and Databases: A Response.
SIGPLAN Notices, 1987

Human Rights: Some Perspectives.
SIGMOD Record, 1987

Perspectives in Deductive Databases (Abstract).
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
Completeness Results for Circumscription.
Artif. Intell., 1986

Answering Queries in Indefinite Databases and the Null Value Problem.
Advances in Computing Research, 1986

Multiple Query Processing in Deductive Databases using Query Graphs.
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

A Parallel Self-Modifying Default Reasoning System.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
Normalization and Axiomatization for Numerical Dependencies
Information and Control, April, 1985

Inferences for Numerical Dependencies.
Theor. Comput. Sci., 1985

Computing Protected Circumscription.
J. Log. Program., 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

The Intelligent Channel: A Scheme for Result Sharing in Logic Programs.
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
Logic and Databases: A Deductive Approach.
ACM Comput. Surv., 1984

Artificial Intelligence Research at the University of Maryland.
AI Magazine, 1984

Alexander Lerner: A Biographical Sketch.
AI Magazine, 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

Applications of Protected Circumscription.
Proceedings of the 7th International Conference on Automated Deduction, 1984

1983
On recursive axioms in deductive databases.
Inf. Syst., 1983

PRISM: A Parallel Inference System for Problem Solving.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Intelligent Control Using Integrity Constraints.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
An Extension to Linear Resolution with Selection Function.
Inf. Process. Lett., 1982

On optimizing the evaluation of a set of expressions.
International Journal of Parallel Programming, 1982

Processing Multiple Queries in Database Systems.
IEEE Database Eng. Bull., 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

On Indefinite Databases and the Closed World Assumption.
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
A Note on Fuzzy Deduction.
J. ACM, 1980

Optimization of Boolean Expressions-Historical Developments.
IEEE Annals of the History of Computing, 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
Search Strategy and Selection Function for an Inferential Relational System.
ACM Trans. Database Syst., 1978

Opinion paper: Science, shcharansky, and the soviets.
JASIS, 1978

Binary relations, matrices and inference developments.
Inf. Syst., 1978

Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion).
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
Information Storage and Retrieval, A Survey and Functional Description.
SIGIR Forum, 1977

Control structure of a pattern-directed search system.
SIGART Newsletter, 1977

A note on answer extraction in resolution-based systems.
International Journal of Parallel Programming, 1977

The Use of a Semantic Network in a Deductive Question-Answering System.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

An Experimental Relational Data Base System Based on Logic.
Proceedings of the Logic and Data Bases, 1977

An Overview and Introduction to Logic and Data Bases.
Proceedings of the Logic and Data Bases, 1977

1976
Resolution, Refinements, and Search Strategies: A Comparative Study.
IEEE Trans. Computers, 1976

1975
State-Space, Problem-Reduction, and Theorem Proving-Some Relationships.
Commun. ACM, 1975

Pi-Representation: A Clause Representation for Parallel Search.
Artif. Intell., 1975

Performing Inferences over Relation Data Bases.
Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data, 1975

1974
The Earley Algorithm as a Problem Representation.
Inf. Process. Lett., 1974

MRPPS - An interactive refutation proof procedure system for question-answering.
International Journal of Parallel Programming, 1974

Representations of the language recognition problem for a theorem prover.
International Journal of Parallel Programming, 1974

1973
Document retrieval experiments using cluster analysis.
JASIS, 1973

The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System.
Artif. Intell., 1973

The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System.
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.
Information Storage and Retrieval, 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
Storage Requirements for Information Handling Centers.
J. ACM, 1970

An Analysis of Some Graph Theoretical Cluster Techniques.
J. ACM, 1970

1961
The Design and Simulation of an Information Processing System.
J. ACM, 1961


  Loading...