We stand with Ukraine

We stand with Ukraine

Jack Minker

Affiliations:

University of Maryland, College Park, USA

According to our database¹, Jack Minker authored at least 144 papers between 1960 and 2014.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

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

Other

Links

Online presence:

On csauthors.net:

Bibliography

2014

Logic and Databases: A History of Deductive Databases.

[BibT_eX]

[DOI]

,

,

Proceedings of the Computational Logic, 2014

2012

To Vladimir Lifschitz on His 65th Birthday.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

2011

Logic and Knowledge Bases.

[BibT_eX]

[DOI]

,

Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011

Opening: Homage to Michael Gelfond on His 65th Birthday.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2008

Deductive Databases.

[BibT_eX]

[DOI]

,

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007

Developing a Computer Science Department at the University of Maryland.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 2007

Forming a Computer Science Center at the University of Maryland.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 2007

2003

In Memoriam: Raymond Reiter.

[BibT_eX]

[DOI]

AI Mag., 2003

2002

A logic-based approach to data integration.

[BibT_eX]

[DOI]

,

Theory Pract. Log. Program., 2002

Disjunctive Logic Programming: A Survey and Assessment.

[BibT_eX]

[DOI]

,

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Editorial (by the Editor in Chief).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2001

2000

Logic-Based Query Optimization for Object Databases.

[BibT_eX]

[DOI]

,

,

,

IEEE Trans. Knowl. Data Eng., 2000

1999

The Workshop on Logic-Based Artificial Intelligence.

[BibT_eX]

[DOI]

AI Mag., 1999

1998

Logic Knowledge Bases With Two Default Rules.

[BibT_eX]

[DOI]

,

Ann. Math. Artif. Intell., 1998

An Overview of Cooperative Answering in Databases.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

Integrity Constraints: Semantics and Applications.

[BibT_eX]

,

,

,

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.

[BibT_eX]

[DOI]

,

,

J. Log. Program., 1997

Combining Closed World Assumptions with Stable Negation.

[BibT_eX]

[DOI]

,

Fundam. Informaticae, 1997

Logic and Databases: Past, Present, and Future.

[BibT_eX]

[DOI]

AI Mag., 1997

A Characterization of the Partial Stable Models For Disjunctive Databases.

[BibT_eX]

,

,

Proceedings of the Logic Programming, 1997

Semantic Query Optimization for Object Databases.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

1996

Model Theoretic Approach to View Updates in Deductive Databases.

[BibT_eX]

[DOI]

José Alberto Fernández

,

,

J. Autom. Reason., 1996

Using Priorities to Combine Knowledge Bases.

[BibT_eX]

[DOI]

Shekhar Pradhan

,

Int. J. Cooperative Inf. Syst., 1996

Logic and Databases: A 20 Year Retrospective.

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

Semantic Query Optimization for Bottom-Up Evaluation.

[BibT_eX]

[DOI]

,

,

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995

Bottom-Up Compuation of Perfect Models for Disjunctive Theories.

[BibT_eX]

[DOI]

José Alberto Fernández

,

J. Log. Program., 1995

Combining Databases with Prioritized Information.

[BibT_eX]

[DOI]

Shekhar Pradhan

,

,

V. S. Subrahmanian

J. Intell. Inf. Syst., 1995

Computing Perfect and Stable Model Using Ordered Model Trees.

[BibT_eX]

[DOI]

José Alberto Fernández

,

,

Comput. Intell., 1995

1994

Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

,

José Alberto Fernández

,

J. Autom. Reason., 1994

Query Evaluation in Partitoned Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

,

Int. J. Cooperative Inf. Syst., 1994

Combining Default Logic Databases.

[BibT_eX]

[DOI]

,

,

,

V. S. Subrahmanian

Int. J. Cooperative Inf. Syst., 1994

Semantics for Disjunctive Logic Programs with Explicit and Default Negation.

[BibT_eX]

[DOI]

,

Fundam. Informaticae, 1994

Overview of Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1994

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs.

[BibT_eX]

[DOI]

,

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

An Architecture for a Cooperative Database System.

[BibT_eX]

[DOI]

,

,

Proceedings of the Applications of Databases, First International Conference, 1994

1993

An Overview of Nonmonotonic Reasoning and Logic Programming.

[BibT_eX]

[DOI]

J. Log. Program., 1993

View Updates in Stratified Disjunctive Databases.

[BibT_eX]

[DOI]

,

,

,

J. Autom. Reason., 1993

Disjunctive LP + Integrity Constraints = Stable Model Semantics.

[BibT_eX]

[DOI]

José Alberto Fernández

,

,

,

V. S. Subrahmanian

Ann. Math. Artif. Intell., 1993

On Extended Disjunctive Logic Programs.

[BibT_eX]

[DOI]

,

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992

Relaxation as a Platform for Cooperative Answering.

[BibT_eX]

[DOI]

Terry Gaasterland

,

,

J. Intell. Inf. Syst., 1992

An Overview of Cooperative Answering.

[BibT_eX]

[DOI]

Terry Gaasterland

,

,

J. Intell. Inf. Syst., 1992

Combining Knowledge Bases Consisting of First-Order Analysis.

[BibT_eX]

[DOI]

,

,

,

V. S. Subrahmanian

Comput. Intell., 1992

The Impact of Logic Programming on Databases.

[BibT_eX]

[DOI]

,

Commun. ACM, 1992

Generalized Disjunctive Well-Founded Semantics for Logic Programs.

[BibT_eX]

[DOI]

,

,

Ann. Math. Artif. Intell., 1992

A Cooperative Answering System.

[BibT_eX]

[DOI]

Terry Gaasterland

,

,

,

Proceedings of the Logic Programming and Automated Reasoning, 1992

Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

José Alberto Fernández

,

Proceedings of the Logic Programming and Automated Reasoning, 1992

A Distributed Load Balancing Scheme for Parallel Logic Programming.

[BibT_eX]

,

Proceedings of the 1992 International Conference on Parallel Processing, 1992

Semantics of Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

José Alberto Fernández

,

Proceedings of the Database Theory, 1992

A Tractable Class of Disjunctive Deductive Databases.

[BibT_eX]

Zahidul A. Khandaker

,

José Alberto Fernández

,

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.

[BibT_eX]

,

,

Arcot Rajasekar

Logic Programming, MIT Press, ISBN: 978-0-262-12165-1, 1992

1991

Combining Multiple Knowledge Bases.

[BibT_eX]

[DOI]

,

,

IEEE Trans. Knowl. Data Eng., 1991

Semantics of Horn and Disjunctive Logic Programs.

[BibT_eX]

[DOI]

,

Arcot Rajasekar

,

Theor. Comput. Sci., 1991

WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.

[BibT_eX]

[DOI]

,

,

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Combining Knowledge Bases Consisting of First Order Theories.

[BibT_eX]

[DOI]

,

,

,

V. S. Subrahmanian

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases.

[BibT_eX]

José Alberto Fernández

,

Proceedings of the Logic Programming, 1991

Theory of Disjunctive Logic Programs.

[BibT_eX]

,

Arcot Rajasekar

,

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

Circumscription and Disjunctive Logic Programming.

[BibT_eX]

[DOI]

,

,

Arcot Rajasekar

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990

Logic-Based Approach to Semantic Query Optimization.

[BibT_eX]

[DOI]

Upen S. Chakravarthy

,

,

ACM Trans. Database Syst., 1990

A Fixpoint Semantics for Disjunctive Logic Programs.

[BibT_eX]

[DOI]

,

Arcot Rajasekar

J. Log. Program., 1990

On Stratified Disjunctive Programs.

[BibT_eX]

[DOI]

Arcot Rajasekar

,

Ann. Math. Artif. Intell., 1990

Generalized Well-founded Semantics for Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]

,

,

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Deductive database theories.

[BibT_eX]

[DOI]

,

Knowl. Eng. Rev., 1989

Weak Generalized Closed World Assumption.

[BibT_eX]

[DOI]

Arcot Rajasekar

,

,

J. Autom. Reason., 1989

Scientific Freedom and Human Rights of Computer Professionals - 1989.

[BibT_eX]

[DOI]

Commun. ACM, 1989

A Stratification Semantics for General Disjunctive Programs.

[BibT_eX]

Arcot Rajasekar

,

Proceedings of the Logic Programming, 1989

Toward A Foundation of Disjunctive Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1989

Skeptical Reasoning and Disjunctive Programs.

[BibT_eX]

Arcot Rajasekar

,

,

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.

[BibT_eX]

,

,

Arcot Rajasekar

Proceedings of the Logic Programming, 1989

1988

Perspectives in Deductive Databases.

[BibT_eX]

[DOI]

J. Log. Program., 1988

Weak Completion Theory for Non-Horn Programs.

[BibT_eX]

,

,

Arcot Rajasekar

Proceedings of the Logic Programming, 1988

A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases.

[BibT_eX]

,

Proceedings of the Expert Database Systems, 1988

Procedural Interpretation of Non-Horn Logic Programs.

[BibT_eX]

[DOI]

,

Arcot Rajasekar

Proceedings of the 9th International Conference on Automated Deduction, 1988

Introduction

[BibT_eX]

[DOI]

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

Foundations of Semantic Query Optimization for Deductive Databases

[BibT_eX]

[DOI]

Upen S. Chakravarthy

,

,

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

1987

Logic and Databases: A Response.

[BibT_eX]

[DOI]

Hervé Gallaire

,

,

Jean-Marie Nicolas

ACM SIGPLAN Notices, 1987

Human Rights: Some Perspectives.

[BibT_eX]

[DOI]

SIGMOD Rec., 1987

An overview of the PRISM project.

[BibT_eX]

[DOI]

,

Mark E. Giuliano

,

SIGARCH Comput. Archit. News, 1987

Perspectives in Deductive Databases (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Informative and Cooperative Answers in Databases Using Integrity Constraints.

[BibT_eX]

,

Proceedings of the Natural Language Understanding and Logic Programming, 1987

Deductive Databases: An Overview of Some Alternative Theories.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1987

1986

Completeness Results for Circumscription.

[BibT_eX]

[DOI]

,

Artif. Intell., 1986

Answering Queries in Indefinite Databases and the Null Value Problem.

[BibT_eX]

,

Adv. Comput. Res., 1986

Multiple Query Processing in Deductive Databases using Query Graphs.

[BibT_eX]

[DOI]

Upen S. Chakravarthy

,

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

Semantic Query Optimization: Additional Constraints and Control Strategies.

[BibT_eX]

Upen S. Chakravarthy

,

,

Proceedings of the Expert Database Systems, 1986

A Parallel Self-Modifying Default Reasoning System.

[BibT_eX]

[DOI]

,

,

Krishnan Subramanian

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Normalization and Axiomatization for Numerical Dependencies

[BibT_eX]

[DOI]

,

Inf. Control., April, 1985

Inferences for Numerical Dependencies.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 1985

Computing Protected Circumscription.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

Commun. ACM, 1985

The Intelligent Channel: A Scheme for Result Sharing in Logic Programs.

[BibT_eX]

[DOI]

,

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

A Natural Language Database Interface That Provides Cooperative Answers.

[BibT_eX]

,

Proceedings of the Artificial Intelligence Applications, 1985

1984

Logic and Databases: A Deductive Approach.

[BibT_eX]

[DOI]

Hervé Gallaire

,

,

Jean-Marie Nicolas

ACM Comput. Surv., 1984

Artificial Intelligence Research at the University of Maryland.

[BibT_eX]

[DOI]

,

AI Mag., 1984

Alexander Lerner: A Biographical Sketch.

[BibT_eX]

[DOI]

AI Mag., 1984

Protected Circumscription.

[BibT_eX]

,

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

Semantic Query Optimization in Expert Systems and Database Systems.

[BibT_eX]

Upen S. Chakravarthy

,

Daniel H. Fishman

,

Proceedings of the Expert Database Systems, 1984

Applications of Protected Circumscription.

[BibT_eX]

[DOI]

,

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

On recursive axioms in deductive databases.

[BibT_eX]

[DOI]

,

Jean-Marie Nicolas

Inf. Syst., 1983

Issues in Developing Expert Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

Control of Logic Prosrams Using Integrity Constraints.

[BibT_eX]

[DOI]

,

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

PRISM - A Parallel Inference System for Problem Solving.

[BibT_eX]

[DOI]

,

,

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

Intelligent Control Using Integrity Constraints.

[BibT_eX]

[DOI]

,

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

An Extension to Linear Resolution with Selection Function.

[BibT_eX]

[DOI]

,

Inf. Process. Lett., 1982

On optimizing the evaluation of a set of expressions.

[BibT_eX]

[DOI]

,

Int. J. Parallel Program., 1982

Processing Multiple Queries in Database Systems.

[BibT_eX]

[DOI]

Upen S. Chakravarthy

,

IEEE Database Eng. Bull., 1982

Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982.

[BibT_eX]

[DOI]

Commun. ACM, 1982

Logic Programming on ZMOB: A Highly Parallel Machine.

[BibT_eX]

Upen S. Chakravarthy

,

,

,

,

Proceedings of the International Conference on Parallel Processing, 1982

Logic Programming: A Parallel Approach.

[BibT_eX]

Norbert Eisinger

,

,

Proceedings of the First International Logic Programming Conference, 1982

Interfacing Predicate Logic Languages and Relational Databases.

[BibT_eX]

Upen S. Chakravarthy

,

,

Proceedings of the First International Logic Programming Conference, 1982

On Indefinite Databases and the Closed World Assumption.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Commun. ACM, 1981

Numerical Dependencies.

[BibT_eX]

,

Proceedings of the XP2 Workshop on Relational Database Theory, 1981

1980

A Note on Fuzzy Deduction.

[BibT_eX]

[DOI]

Alan R. Aronson

,

Barry E. Jacobs

,

J. ACM, 1980

Optimization of Boolean Expressions-Historical Developments.

[BibT_eX]

[DOI]

,

IEEE Ann. Hist. Comput., 1980

1979

Optimization in Deductive and Conventional Relational Database Systems.

[BibT_eX]

,

Proceedings of the Advances in Data Base Theory, 1979

Background for Advances in Data Base Theory.

[BibT_eX]

Hervé Gallaire

,

,

Jean-Marie Nicolas

Proceedings of the Advances in Data Base Theory, 1979

1978

Search Strategy and Selection Function for an Inferential Relational System.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1978

Opinion paper: Science, shcharansky, and the soviets.

[BibT_eX]

[DOI]

J. Am. Soc. Inf. Sci., 1978

Binary relations, matrices and inference developments.

[BibT_eX]

[DOI]

Inf. Syst., 1978

Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion).

[BibT_eX]

[DOI]

Bharat K. Bhargava

,

Stephen R. Kimbleton

,

Barbara H. Liskov

,

,

Jeffrey D. Ullman

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

Information Storage and Retrieval, A Survey and Functional Description.

[BibT_eX]

[DOI]

SIGIR Forum, 1977

Control structure of a pattern-directed search system.

[BibT_eX]

[DOI]

SIGART Newsl., 1977

A note on answer extraction in resolution-based systems.

[BibT_eX]

[DOI]

,

Gerald A. Wilson

Int. J. Parallel Program., 1977

The Use of a Semantic Network in a Deductive Question-Answering System.

[BibT_eX]

[DOI]

James R. McSkimin

,

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

An Experimental Relational Data Base System Based on Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic and Data Bases, 1977

An Overview and Introduction to Logic and Data Bases.

[BibT_eX]

[DOI]

Hervé Gallaire

,

,

Jean-Marie Nicolas

Proceedings of the Logic and Data Bases, 1977

1976

Resolution, Refinements, and Search Strategies: A Comparative Study.

[BibT_eX]

[DOI]

Gerald A. Wilson

,

IEEE Trans. Computers, 1976

1975

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

[BibT_eX]

[DOI]

Gordon J. van der Brug

,

Commun. ACM, 1975

Pi-Representation: A Clause Representation for Parallel Search.

[BibT_eX]

[DOI]

Daniel H. Fishman

,

Artif. Intell., 1975

Performing Inferences over Relation Data Bases.

[BibT_eX]

[DOI]

Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data, 1975

1974

The Earley Algorithm as a Problem Representation.

[BibT_eX]

[DOI]

,

Gordon J. van der Brug

Inf. Process. Lett., 1974

MRPPS - An interactive refutation proof procedure system for question-answering.

[BibT_eX]

[DOI]

,

James R. McSkimin

,

Daniel H. Fishman

Int. J. Parallel Program., 1974

Representations of the language recognition problem for a theorem prover.

[BibT_eX]

[DOI]

,

Gordon J. van der Brug

Int. J. Parallel Program., 1974

1973

Document retrieval experiments using cluster analysis.

[BibT_eX]

[DOI]

,

,

Gerald A. Wilson

J. Am. Soc. Inf. Sci., 1973

The Q<sup>*</sup> Algorithm - A Search Strategy for a Deductive Question-Answering System.

[BibT_eX]

[DOI]

,

Daniel H. Fishman

,

James R. McSkimin

Artif. Intell., 1973

The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System.

[BibT_eX]

[DOI]

,

Daniel H. Fishman

,

James R. McSkimin

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.

[BibT_eX]

[DOI]

,

Gerald A. Wilson

,

Barbara H. Zimmerman

Inf. Storage Retr., 1972

1971

Introduction and Perspectives for the 1971 ACM Information Storage and Retrieval Symposium.

[BibT_eX]

[DOI]

,

Proceedings of the ACM SIGIR Information Storage and Retrieval Symposium, 1971

1970

Storage Requirements for Information Handling Centers.

[BibT_eX]

[DOI]

Herbert M. Gurk

,

J. ACM, 1970

An Analysis of Some Graph Theoretical Cluster Techniques.

[BibT_eX]

[DOI]

J. Gary Augustson

,

J. ACM, 1970

1966

A study of the utility of a hybrid associative processor.

[BibT_eX]

[DOI]

,

Robert S. Green

,

,

Warren E. Shindle

Commun. ACM, 1966

A study of the utility of associative memory processors.

[BibT_eX]

[DOI]

,

Robert S. Green

,

,

Warren E. Shindle

Proceedings of the 21st national conference, 1966

1961

The Design and Simulation of an Information Processing System.

[BibT_eX]

[DOI]

Herbert M. Gurk

,

J. ACM, 1961

1960

A multi-level file structure for information processing.

[BibT_eX]

[DOI]

,

,

,

Warren E. Shindle

Proceedings of the Papers presented at the 1960 western joint IRE-AIEE-ACM computer conference, 1960

Loading...