Jack Minker

153 papers A* 12A 5B 10C 6Journal 80Unranked 30
YearRankTypeTitle / Venue / Authors
2014 — ch.
Logic and Databases: A History of Deductive Databases.
Computational Logic
Jack Minker, Dietmar Seipel, Carlo Zaniolo
2012 — conf
To Vladimir Lifschitz on His 65th Birthday.
Correct Reasoning
Jack Minker
2011 — ch.
Logic and Knowledge Bases.
Encyclopedia of Knowledge Management
John Grant, Jack Minker
2011 — conf
Opening: Homage to Michael Gelfond on His 65th Birthday.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Jack Minker
2008 — ch.
Deductive Databases.
Wiley Encyclopedia of Computer Science and Engineering
John Grant, Jack Minker
2007 J jnl
Developing a Computer Science Department at the University of Maryland.
IEEE Ann. Hist. Comput.
Jack Minker
2007 J jnl
Forming a Computer Science Center at the University of Maryland.
IEEE Ann. Hist. Comput.
Jack Minker
2003 J jnl
In Memoriam: Raymond Reiter.
AI Mag.
Jack Minker
2003 J jnl
In Memoriam: Raymond Reiter.
Comput. Intell.
Jack Minker
2002 J jnl
A logic-based approach to data integration.
Theory Pract. Log. Program.
John Grant, Jack Minker
2002 — conf
Disjunctive Logic Programming: A Survey and Assessment.
Computational Logic: Logic Programming and Beyond
Jack Minker, Dietmar Seipel
2001 J jnl
A logic-based approach to data integration
CoRR
John Grant, Jack Minker
2001 J jnl
Editorial (by the Editor in Chief).
Theory Pract. Log. Program.
Jack Minker
2000 J jnl
Logic-Based Query Optimization for Object Databases.
IEEE Trans. Knowl. Data Eng.
John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid
1999 J jnl
The Workshop on Logic-Based Artificial Intelligence.
AI Mag.
Jack Minker
1998 C conf
An Overview of Cooperative Answering in Databases.
FQAS
Jack Minker
1998 — conf
Integrity Constraints: Semantics and Applications.
Logics for Databases and Information Systems
Parke Godfrey, John Grant, Jarek Gryz, Jack Minker
1998 J jnl
Logic Knowledge Bases With Two Default Rules.
Ann. Math. Artif. Intell.
Carolina Ruiz, Jack Minker
1997 — conf
A Characterization of the Partial Stable Models For Disjunctive Databases.
ILPS
Dietmar Seipel, Jack Minker, Carolina Ruiz
1997 J jnl
Combining Closed World Assumptions with Stable Negation.
Fundam. Informaticae
Carolina Ruiz, Jack Minker
1997 J jnl
Logic and Databases: Past, Present, and Future.
AI Mag.
Jack Minker
1997 J jnl
Model Generation and State Generation for Disjunctive Logic Programs.
J. Log. Program.
Dietmar Seipel, Jack Minker, Carolina Ruiz
1997 A* conf
Semantic Query Optimization for Object Databases.
ICDE
John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid
1996 — conf
Logic and Databases: A 20 Year Retrospective.
Logic in Databases
Jack Minker
1996 J jnl
Model Theoretic Approach to View Updates in Deductive Databases.
J. Autom. Reason.
José Alberto Fernández, John Grant, Jack Minker
1996 C conf
Semantic Query Optimization for Bottom-Up Evaluation.
ISMIS
Parke Godfrey, Jarek Gryz, Jack Minker
1996 J jnl
Using Priorities to Combine Knowledge Bases.
Int. J. Cooperative Inf. Syst.
Shekhar Pradhan, Jack Minker
1995 J jnl
Bottom-Up Compuation of Perfect Models for Disjunctive Theories.
J. Log. Program.
José Alberto Fernández, Jack Minker
1995 J jnl
Combining Databases with Prioritized Information.
J. Intell. Inf. Syst.
Shekhar Pradhan, Jack Minker, V. S. Subrahmanian
1995 J jnl
Computing Perfect and Stable Model Using Ordered Model Trees.
Comput. Intell.
José Alberto Fernández, Jack Minker, Adnan H. Yahya
1994 — conf
An Architecture for a Cooperative Database System.
ADB
Parke Godfrey, Jack Minker, Lev Novik
1994 J jnl
Combining Default Logic Databases.
Int. J. Cooperative Inf. Syst.
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1994 — conf
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs.
NMELP
Carolina Ruiz, Jack Minker
1994 J jnl
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases.
J. Autom. Reason.
Adnan H. Yahya, José Alberto Fernández, Jack Minker
1994 J jnl
Overview of Disjunctive Logic Programming.
Ann. Math. Artif. Intell.
Jack Minker
1994 J jnl
Query Evaluation in Partitoned Disjunctive Deductive Databases.
Int. J. Cooperative Inf. Syst.
Adnan H. Yahya, Jack Minker
1994 J jnl
Semantics for Disjunctive Logic Programs with Explicit and Default Negation.
Fundam. Informaticae
Jack Minker, Carolina Ruiz
1993 J jnl
An Overview of Nonmonotonic Reasoning and Logic Programming.
J. Log. Program.
Jack Minker
1993 J jnl
Disjunctive LP + Integrity Constraints = Stable Model Semantics.
Ann. Math. Artif. Intell.
José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian
1993 C conf
On Extended Disjunctive Logic Programs.
ISMIS
Jack Minker, Carolina Ruiz
1993 J jnl
View Updates in Stratified Disjunctive Databases.
J. Autom. Reason.
John Grant, John F. Horty, Jorge Lobo, Jack Minker
1992 B conf
A Cooperative Answering System.
LPAR
Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik
1992 — conf
A Distributed Load Balancing Scheme for Parallel Logic Programming.
ICPP (2)
Zheng Lin, Jack Minker
1992 — conf
A Tractable Class of Disjunctive Deductive Databases.
Workshop on Deductive Databases, JICSLP
Zahidul A. Khandaker, José Alberto Fernández, Jack Minker
1992 J jnl
An Overview of Cooperative Answering.
J. Intell. Inf. Syst.
Terry Gaasterland, Parke Godfrey, Jack Minker
1992 J jnl
Combining Knowledge Bases Consisting of First-Order Analysis.
Comput. Intell.
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1992 B conf
Disjunctive Deductive Databases.
LPAR
José Alberto Fernández, Jack Minker
1992 — book
Foundations of disjunctive logic programming.
Jorge Lobo, Jack Minker, Arcot Rajasekar
1992 J jnl
Generalized Disjunctive Well-Founded Semantics for Logic Programs.
Ann. Math. Artif. Intell.
Chitta Baral, Jorge Lobo, Jack Minker
1992 J jnl
Relaxation as a Platform for Cooperative Answering.
J. Intell. Inf. Syst.
Terry Gaasterland, Parke Godfrey, Jack Minker
1992 A conf
Semantics of Disjunctive Deductive Databases.
ICDT
José Alberto Fernández, Jack Minker
1992 J jnl
The Impact of Logic Programming on Databases.
Commun. ACM
John Grant, Jack Minker
1991 B conf
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases.
ICLP
José Alberto Fernández, Jack Minker
1991 — conf
Circumscription and Disjunctive Logic Programming.
Artificial and Mathematical Theory of Computation
Jack Minker, Jorge Lobo, Arcot Rajasekar
1991 C conf
Combining Knowledge Bases Consisting of First Order Theories.
ISMIS
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1991 J jnl
Combining Multiple Knowledge Bases.
IEEE Trans. Knowl. Data Eng.
Chitta Baral, Sarit Kraus, Jack Minker
1991 J jnl
Semantics of Horn and Disjunctive Logic Programs.
Theor. Comput. Sci.
Jorge Lobo, Arcot Rajasekar, Jack Minker
1991 — conf
Theory of Disjunctive Logic Programs.
Computational Logic - Essays in Honor of Alan Robinson
Jack Minker, Arcot Rajasekar, Jorge Lobo
1991 C conf
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
ISMIS
Chitta Baral, Jorge Lobo, Jack Minker
1990 J jnl
A Fixpoint Semantics for Disjunctive Logic Programs.
J. Log. Program.
Jack Minker, Arcot Rajasekar
1990 A conf
Generalized Well-founded Semantics for Logic Programs (Extended Abstract).
CADE
Chitta Baral, Jorge Lobo, Jack Minker
1990 J jnl
Logic-Based Approach to Semantic Query Optimization.
ACM Trans. Database Syst.
Upen S. Chakravarthy, John Grant, Jack Minker
1990 J jnl
On Stratified Disjunctive Programs.
Ann. Math. Artif. Intell.
Arcot Rajasekar, Jack Minker
1989 — conf
A Stratification Semantics for General Disjunctive Programs.
NACLP
Arcot Rajasekar, Jack Minker
1989 J jnl
Deductive database theories.
Knowl. Eng. Rev.
John Grant, Jack Minker
1989 B conf
Extending the Semantics of Logic Programs to Disjunctive Logic Programs.
ICLP
Jorge Lobo, Jack Minker, Arcot Rajasekar
1989 J jnl
Scientific Freedom and Human Rights of Computer Professionals - 1989.
Commun. ACM
Jack Minker
1989 A* conf
Skeptical Reasoning and Disjunctive Programs.
KR
Arcot Rajasekar, Jorge Lobo, Jack Minker
1989 — conf
Toward A Foundation of Disjunctive Logic Programming.
NACLP
Jack Minker
1989 J jnl
Weak Generalized Closed World Assumption.
J. Autom. Reason.
Arcot Rajasekar, Jorge Lobo, Jack Minker
1988 — conf
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases.
Expert Database Conf.
Jorge Lobo, Jack Minker
1988 — book
Foundations of Deductive Databases and Logic Programming
Jack Minker
1988 — ch.
Foundations of Semantic Query Optimization for Deductive Databases
Foundations of Deductive Databases and Logic Programming.
Upen S. Chakravarthy, John Grant, Jack Minker
1988 — ch.
Introduction
Foundations of Deductive Databases and Logic Programming.
Jack Minker
1988 J jnl
Perspectives in Deductive Databases.
J. Log. Program.
Jack Minker
1988 A conf
Procedural Interpretation of Non-Horn Logic Programs.
CADE
Jack Minker, Arcot Rajasekar
1988 — conf
Weak Completion Theory for Non-Horn Programs.
ICLP/SLP
Jorge Lobo, Jack Minker, Arcot Rajasekar
1987 J jnl
An overview of the PRISM project.
SIGARCH Comput. Archit. News
Madhur Kohli, Mark E. Giuliano, Jack Minker
1987 C conf
Deductive Databases: An Overview of Some Alternative Theories.
ISMIS
Jack Minker
1987 J jnl
Human Rights: Some Perspectives.
SIGMOD Rec.
Jack Minker
1987 — conf
Informative and Cooperative Answers in Databases Using Integrity Constraints.
Natural Language Understanding and Logic Programming Workshop
Annie Gal, Jack Minker
1987 J jnl
Logic and Databases: A Response.
ACM SIGPLAN Notices
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1987 A* conf
Perspectives in Deductive Databases (Abstract).
PODS
Jack Minker
1986 A* conf
A Parallel Self-Modifying Default Reasoning System.
AAAI
Jack Minker, Donald Perlis, Krishnan Subramanian
1986 J jnl
Answering Queries in Indefinite Databases and the Null Value Problem.
Adv. Comput. Res.
John Grant, Jack Minker
1986 J jnl
Completeness Results for Circumscription.
Artif. Intell.
Donald Perlis, Jack Minker
1986 J jnl
Logic and databases: a response.
SIGACT News
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1986 A* conf
Multiple Query Processing in Deductive Databases using Query Graphs.
VLDB
Upen S. Chakravarthy, Jack Minker
1986 — conf
Semantic Query Optimization: Additional Constraints and Control Strategies.
Expert Database Conf.
Upen S. Chakravarthy, Jack Minker, John Grant
1985 — conf
A Natural Language Database Interface That Provides Cooperative Answers.
CAIA
Annie Gal, Jack Minker
1985 J jnl
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
Jack Minker
1985 J jnl
Computing Protected Circumscription.
J. Log. Program.
Jack Minker, Donald Perlis
1985 J jnl
Inferences for Numerical Dependencies.
Theor. Comput. Sci.
John Grant, Jack Minker
1985 J jnl
Normalization and Axiomatization for Numerical Dependencies
Inf. Control.
John Grant, Jack Minker
1985 A* conf
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs.
IJCAI
Simon Kasif, Jack Minker
1984 — ed.
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
Hervé Gallaire, Jean-Marie Nicolas, Jack Minker
1984 J jnl
Alexander Lerner: A Biographical Sketch.
AI Mag.
Jack Minker
1984 A conf
Applications of Protected Circumscription.
CADE
Jack Minker, Donald Perlis
1984 J jnl
Artificial Intelligence Research at the University of Maryland.
AI Mag.
Jack Minker, Larry S. Davis
1984 J jnl
Logic and Databases: A Deductive Approach.
ACM Comput. Surv.
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1984 — conf
Protected Circumscription.
NMR
Jack Minker, Donald Perlis
1984 — conf
Semantic Query Optimization in Expert Systems and Database Systems.
Expert Database Workshop
Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker
1983 B conf
Control of Logic Prosrams Using Integrity Constraints.
Logic Programming Workshop
Madhur Kohli, Jack Minker
1983 A* conf
Intelligent Control Using Integrity Constraints.
AAAI
Madhur Kohli, Jack Minker
1983 B conf
Issues in Developing Expert Systems.
Logic Programming Workshop
Jack Minker
1983 J jnl
On recursive axioms in deductive databases.
Inf. Syst.
Jack Minker, Jean-Marie Nicolas
1983 B conf
PRISM - A Parallel Inference System for Problem Solving.
Logic Programming Workshop
Simon Kasif, Madhur Kohli, Jack Minker
1983 A* conf
PRISM: A Parallel Inference System for Problem Solving.
IJCAI
Simon Kasif, Madhur Kohli, Jack Minker
1982 J jnl
An Extension to Linear Resolution with Selection Function.
Inf. Process. Lett.
Jack Minker, Guy Zanon
1982 J jnl
Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982.
Commun. ACM
Jack Minker
1982 B conf
Interfacing Predicate Logic Languages and Relational Databases.
ICLP
Upen S. Chakravarthy, Jack Minker, Duc Tran
1982 B conf
Logic Programming on ZMOB: A Highly Parallel Machine.
ICPP
Upen S. Chakravarthy, Simon Kasif, Madhur Kohli, Jack Minker, D. Cao
1982 B conf
Logic Programming: A Parallel Approach.
ICLP
Norbert Eisinger, Simon Kasif, Jack Minker
1982 A conf
On Indefinite Databases and the Closed World Assumption.
CADE
Jack Minker
1982 J jnl
On optimizing the evaluation of a set of expressions.
Int. J. Parallel Program.
John Grant, Jack Minker
1982 J jnl
Processing Multiple Queries in Database Systems.
IEEE Database Eng. Bull.
Upen S. Chakravarthy, Jack Minker
1981 — ed.
Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France
Hervé Gallaire, Jean-Marie Nicolas, Jack Minker
1981 J jnl
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
Jack Minker
1981 — conf
Numerical Dependencies.
XP2 Workshop on Relational Database Theory
John Grant, Jack Minker
1980 J jnl
A Note on Fuzzy Deduction.
J. ACM
Alan R. Aronson, Barry E. Jacobs, Jack Minker
1980 J jnl
Optimization of Boolean Expressions-Historical Developments.
IEEE Ann. Hist. Comput.
Jack Minker, Rita G. Minker
1979 — conf
Background for Advances in Data Base Theory.
Advances in Data Base Theory
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1979 — conf
Optimization in Deductive and Conventional Relational Database Systems.
Advances in Data Base Theory
John Grant, Jack Minker
1978 J jnl
Binary relations, matrices and inference developments.
Inf. Syst.
Jack Minker
1978 — conf
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion).
ACM Annual Conference (1)
Bharat K. Bhargava, Stephen R. Kimbleton, Barbara H. Liskov, Jack Minker, Jeffrey D. Ullman
1978 — ed.
Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France, 1977.
Hervé Gallaire, Jack Minker
1978 J jnl
Opinion paper: Science, shcharansky, and the soviets.
J. Am. Soc. Inf. Sci.
Jack Minker
1978 J jnl
Search Strategy and Selection Function for an Inferential Relational System.
ACM Trans. Database Syst.
Jack Minker
1977 J jnl
A note on answer extraction in resolution-based systems.
Int. J. Parallel Program.
Jack Minker, Gerald A. Wilson
1977 — conf
An Experimental Relational Data Base System Based on Logic.
Logic and Data Bases
Jack Minker
1977 — conf
An Overview and Introduction to Logic and Data Bases.
Logic and Data Bases
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1977 J jnl
Control structure of a pattern-directed search system.
SIGART Newsl.
Jack Minker
1977 J jnl
Information Storage and Retrieval, A Survey and Functional Description.
SIGIR Forum
Jack Minker
1977 A* conf
The Use of a Semantic Network in a Deductive Question-Answering System.
IJCAI
James R. McSkimin, Jack Minker
1976 J jnl
Resolution, Refinements, and Search Strategies: A Comparative Study.
IEEE Trans. Computers
Gerald A. Wilson, Jack Minker
1975 — conf
Performing Inferences over Relation Data Bases.
SIGMOD Conference
Jack Minker
1975 J jnl
Pi-Representation: A Clause Representation for Parallel Search.
Artif. Intell.
Daniel H. Fishman, Jack Minker
1975 J jnl
State-Space, Problem-Reduction, and Theorem Proving-Some Relationships.
Commun. ACM
Gordon J. van der Brug, Jack Minker
1974 J jnl
MRPPS - An interactive refutation proof procedure system for question-answering.
Int. J. Parallel Program.
Jack Minker, James R. McSkimin, Daniel H. Fishman
1974 J jnl
Representations of the language recognition problem for a theorem prover.
Int. J. Parallel Program.
Jack Minker, Gordon J. van der Brug
1974 J jnl
The Earley Algorithm as a Problem Representation.
Inf. Process. Lett.
Jack Minker, Gordon J. van der Brug
1973 J jnl
Document retrieval experiments using cluster analysis.
J. Am. Soc. Inf. Sci.
Jack Minker, Eero Peltola, Gerald A. Wilson
1973 J jnl
The Q
Artif. Intell.
Jack Minker, Daniel H. Fishman, James R. McSkimin
1973 A* conf
The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System.
IJCAI
Jack Minker, Daniel H. Fishman, James R. McSkimin
1972 J jnl
An evaluation of query expansion by the addition of clustered terms for a document retrieval system.
Inf. Storage Retr.
Jack Minker, Gerald A. Wilson, Barbara H. Zimmerman
1971 A* ed.
ACM SIGIR Information Storage and Retrieval Symposium, College Park, Maryland, USA, April 1-2, 1971, Proceeding
Jack Minker, Sam Rosenfeld
1971 A* conf
Introduction and Perspectives for the 1971 ACM Information Storage and Retrieval Symposium.
SIGIR
Jack Minker, Sam Rosenfeld
1970 J jnl
An Analysis of Some Graph Theoretical Cluster Techniques.
J. ACM
J. Gary Augustson, Jack Minker
1970 J jnl
Storage Requirements for Information Handling Centers.
J. ACM
Herbert M. Gurk, Jack Minker
1966 J jnl
A study of the utility of a hybrid associative processor.
Commun. ACM
James A. Dugan, Robert S. Green, Jack Minker, Warren E. Shindle
1966 — conf
A study of the utility of associative memory processors.
ACM National Conference
James A. Dugan, Robert S. Green, Jack Minker, Warren E. Shindle
1961 J jnl
The Design and Simulation of an Information Processing System.
J. ACM
Herbert M. Gurk, Jack Minker
1960 — conf
A multi-level file structure for information processing.
IRE-AIEE-ACM Computer Conference (Western)
L. Miller, Jack Minker, W. G. Reed, Warren E. Shindle