Jack Minker

Publication Activity (10 Years)

Years Active: 1960-2012
Publications (10 Years): 0

Top Venues

Correct Reasoning

Publications

Jack Minker
To Vladimir Lifschitz on His 65th Birthday. Correct Reasoning (2012)
Jack Minker
Opening: Homage to Michael Gelfond on His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Jack Minker
Developing a Computer Science Department at the University of Maryland. IEEE Ann. Hist. Comput. 29 (4) (2007)
Jack Minker
Forming a Computer Science Center at the University of Maryland. IEEE Ann. Hist. Comput. 29 (1) (2007)
Jack Minker
In Memoriam: Raymond Reiter. Comput. Intell. 19 (1) (2003)
Jack Minker
In Memoriam: Raymond Reiter. AI Mag. 24 (1) (2003)
Jack Minker, Dietmar Seipel
Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond (2002)
John Grant, Jack Minker
A logic-based approach to data integration. Theory Pract. Log. Program. 2 (3) (2002)
John Grant, Jack Minker
A logic-based approach to data integration CoRR (2001)
Jack Minker
Editorial (by the Editor in Chief). Theory Pract. Log. Program. 1 (1) (2001)
John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid
Logic-Based Query Optimization for Object Databases. IEEE Trans. Knowl. Data Eng. 12 (4) (2000)
Jack Minker
The Workshop on Logic-Based Artificial Intelligence. AI Mag. 20 (4) (1999)
Carolina Ruiz, Jack Minker
Logic Knowledge Bases With Two Default Rules. Ann. Math. Artif. Intell. 22 (3-4) (1998)
Jack Minker
An Overview of Cooperative Answering in Databases. FQAS (1998)
Parke Godfrey, John Grant, Jarek Gryz, Jack Minker
Integrity Constraints: Semantics and Applications. Logics for Databases and Information Systems (1998)
John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid
Semantic Query Optimization for Object Databases. ICDE (1997)
Carolina Ruiz, Jack Minker
Combining Closed World Assumptions with Stable Negation. Fundam. Informaticae 32 (2) (1997)
Jack Minker
Logic and Databases: Past, Present, and Future. AI Mag. 18 (3) (1997)
Dietmar Seipel, Jack Minker, Carolina Ruiz
A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS (1997)
Dietmar Seipel, Jack Minker, Carolina Ruiz
Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. 32 (1) (1997)
Jack Minker
Logic and Databases: A 20 Year Retrospective. Logic in Databases (1996)
Parke Godfrey, Jarek Gryz, Jack Minker
Semantic Query Optimization for Bottom-Up Evaluation. ISMIS (1996)
Shekhar Pradhan, Jack Minker
Using Priorities to Combine Knowledge Bases. Int. J. Cooperative Inf. Syst. 5 (2&3) (1996)
José Alberto Fernández, John Grant, Jack Minker
Model Theoretic Approach to View Updates in Deductive Databases. J. Autom. Reason. 17 (2) (1996)
José Alberto Fernández, Jack Minker
Bottom-Up Compuation of Perfect Models for Disjunctive Theories. J. Log. Program. 25 (1) (1995)
Shekhar Pradhan, Jack Minker, V. S. Subrahmanian
Combining Databases with Prioritized Information. J. Intell. Inf. Syst. 4 (3) (1995)
José Alberto Fernández, Jack Minker, Adnan H. Yahya
Computing Perfect and Stable Model Using Ordered Model Trees. Comput. Intell. 11 (1995)
Adnan H. Yahya, José Alberto Fernández, Jack Minker
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. J. Autom. Reason. 13 (1) (1994)
Jack Minker, Carolina Ruiz
Semantics for Disjunctive Logic Programs with Explicit and Default Negation. Fundam. Informaticae 20 (1/2/3) (1994)
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
Combining Default Logic Databases. Int. J. Cooperative Inf. Syst. 3 (3) (1994)
Parke Godfrey, Jack Minker, Lev Novik
An Architecture for a Cooperative Database System. ADB (1994)
Jack Minker
Overview of Disjunctive Logic Programming. Ann. Math. Artif. Intell. 12 (1-2) (1994)
Adnan H. Yahya, Jack Minker
Query Evaluation in Partitoned Disjunctive Deductive Databases. Int. J. Cooperative Inf. Syst. 3 (4) (1994)
Carolina Ruiz, Jack Minker
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. NMELP (1994)
John Grant, John F. Horty, Jorge Lobo, Jack Minker
View Updates in Stratified Disjunctive Databases. J. Autom. Reason. 11 (2) (1993)
Jack Minker, Carolina Ruiz
On Extended Disjunctive Logic Programs. ISMIS (1993)
José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian
Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. 8 (3-4) (1993)
Jack Minker
An Overview of Nonmonotonic Reasoning and Logic Programming. J. Log. Program. 17 (2/3&4) (1993)
José Alberto Fernández, Jack Minker
Disjunctive Deductive Databases. LPAR (1992)
Terry Gaasterland, Parke Godfrey, Jack Minker
Relaxation as a Platform for Cooperative Answering. J. Intell. Inf. Syst. 1 (3/4) (1992)
Zheng Lin, Jack Minker
A Distributed Load Balancing Scheme for Parallel Logic Programming. ICPP (2) (1992)
Terry Gaasterland, Parke Godfrey, Jack Minker
An Overview of Cooperative Answering. J. Intell. Inf. Syst. 1 (2) (1992)
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
Combining Knowledge Bases Consisting of First-Order Analysis. Comput. Intell. 8 (1992)
Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik
A Cooperative Answering System. LPAR (1992)
Chitta Baral, Jorge Lobo, Jack Minker
Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5 (2-4) (1992)
John Grant, Jack Minker
The Impact of Logic Programming on Databases. Commun. ACM 35 (3) (1992)
José Alberto Fernández, Jack Minker
Semantics of Disjunctive Deductive Databases. ICDT (1992)
Zahidul A. Khandaker, José Alberto Fernández, Jack Minker
A Tractable Class of Disjunctive Deductive Databases. Workshop on Deductive Databases, JICSLP (1992)
José Alberto Fernández, Jack Minker
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. ICLP (1991)
Jorge Lobo, Arcot Rajasekar, Jack Minker
Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. 86 (1) (1991)
Jack Minker, Jorge Lobo, Arcot Rajasekar
Circumscription and Disjunctive Logic Programming. Artificial and Mathematical Theory of Computation (1991)
Chitta Baral, Jorge Lobo, Jack Minker
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS (1991)
Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
Combining Knowledge Bases Consisting of First Order Theories. ISMIS (1991)
Jack Minker, Arcot Rajasekar, Jorge Lobo
Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson (1991)
Chitta Baral, Sarit Kraus, Jack Minker
Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3 (2) (1991)
Upen S. Chakravarthy, John Grant, Jack Minker
Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15 (2) (1990)
Jack Minker, Arcot Rajasekar
A Fixpoint Semantics for Disjunctive Logic Programs. J. Log. Program. 9 (1) (1990)
Chitta Baral, Jorge Lobo, Jack Minker
Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE (1990)
Arcot Rajasekar, Jack Minker
On Stratified Disjunctive Programs. Ann. Math. Artif. Intell. 1 (1990)
Jorge Lobo, Jack Minker, Arcot Rajasekar
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP (1989)
Arcot Rajasekar, Jorge Lobo, Jack Minker
Skeptical Reasoning and Disjunctive Programs. KR (1989)
Jack Minker
Scientific Freedom and Human Rights of Computer Professionals - 1989. Commun. ACM 32 (8) (1989)
Arcot Rajasekar, Jack Minker
A Stratification Semantics for General Disjunctive Programs. NACLP (1989)
Arcot Rajasekar, Jorge Lobo, Jack Minker
Weak Generalized Closed World Assumption. J. Autom. Reason. 5 (3) (1989)
Jack Minker
Toward A Foundation of Disjunctive Logic Programming. NACLP (1989)
John Grant, Jack Minker
Deductive database theories. Knowl. Eng. Rev. 4 (3) (1989)
Jorge Lobo, Jack Minker, Arcot Rajasekar
Weak Completion Theory for Non-Horn Programs. ICLP/SLP (1988)
Jack Minker
Perspectives in Deductive Databases. J. Log. Program. 5 (1) (1988)
Jack Minker, Arcot Rajasekar
Procedural Interpretation of Non-Horn Logic Programs. CADE (1988)
Jorge Lobo, Jack Minker
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. (1988)
Madhur Kohli, Mark E. Giuliano, Jack Minker
An overview of the PRISM project. SIGARCH Comput. Archit. News 15 (1) (1987)
Annie Gal, Jack Minker
Informative and Cooperative Answers in Databases Using Integrity Constraints. Natural Language Understanding and Logic Programming Workshop (1987)
Jack Minker
Human Rights: Some Perspectives. SIGMOD Rec. 16 (1) (1987)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and Databases: A Response. ACM SIGPLAN Notices 22 (6) (1987)
Jack Minker
Deductive Databases: An Overview of Some Alternative Theories. ISMIS (1987)
Jack Minker
Perspectives in Deductive Databases (Abstract). PODS (1987)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and databases: a response. SIGACT News 18 (2) (1986)
Upen S. Chakravarthy, Jack Minker, John Grant
Semantic Query Optimization: Additional Constraints and Control Strategies. Expert Database Conf. (1986)
John Grant, Jack Minker
Answering Queries in Indefinite Databases and the Null Value Problem. Adv. Comput. Res. 3 (1986)
Jack Minker, Donald Perlis, Krishnan Subramanian
A Parallel Self-Modifying Default Reasoning System. AAAI (1986)
Upen S. Chakravarthy, Jack Minker
Multiple Query Processing in Deductive Databases using Query Graphs. VLDB (1986)
Donald Perlis, Jack Minker
Completeness Results for Circumscription. Artif. Intell. 28 (1) (1986)
Jack Minker
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 28 (1) (1985)
Jack Minker, Donald Perlis
Computing Protected Circumscription. J. Log. Program. 2 (4) (1985)
Simon Kasif, Jack Minker
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. IJCAI (1985)
John Grant, Jack Minker
Inferences for Numerical Dependencies. Theor. Comput. Sci. 41 (1985)
Annie Gal, Jack Minker
A Natural Language Database Interface That Provides Cooperative Answers. CAIA (1985)
John Grant, Jack Minker
Normalization and Axiomatization for Numerical Dependencies Inf. Control. 65 (1) (1985)
Jack Minker, Donald Perlis
Applications of Protected Circumscription. CADE (1984)
Jack Minker
Alexander Lerner: A Biographical Sketch. AI Mag. 5 (1) (1984)
Jack Minker, Donald Perlis
Protected Circumscription. NMR (1984)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16 (2) (1984)
Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker
Semantic Query Optimization in Expert Systems and Database Systems. Expert Database Workshop (1984)
Jack Minker, Larry S. Davis
Artificial Intelligence Research at the University of Maryland. AI Mag. 5 (1) (1984)
Simon Kasif, Madhur Kohli, Jack Minker
PRISM - A Parallel Inference System for Problem Solving. Logic Programming Workshop (1983)
Madhur Kohli, Jack Minker
Intelligent Control Using Integrity Constraints. AAAI (1983)
Simon Kasif, Madhur Kohli, Jack Minker
PRISM: A Parallel Inference System for Problem Solving. IJCAI (1983)
Madhur Kohli, Jack Minker
Control of Logic Prosrams Using Integrity Constraints. Logic Programming Workshop (1983)
Jack Minker
Issues in Developing Expert Systems. Logic Programming Workshop (1983)
Jack Minker, Jean-Marie Nicolas
On recursive axioms in deductive databases. Inf. Syst. 8 (1) (1983)

Jack Minker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jack Minker