| 2008 |
|---|
| 130 | EE | John Grant,
Jack Minker:
Deductive Databases.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 129 | EE | Jack Minker:
Forming a Computer Science Center at the University of Maryland.
IEEE Annals of the History of Computing 29(1): 49-64 (2007) |
| 128 | EE | Jack Minker:
Developing a Computer Science Department at the University of Maryland.
IEEE Annals of the History of Computing 29(4): 64-75 (2007) |
| 2003 |
|---|
| 127 | | Jack Minker:
In Memoriam: Raymond Reiter.
AI Magazine 24(1): 13-18 (2003) |
| 2002 |
|---|
| 126 | EE | Jack Minker,
Dietmar Seipel:
Disjunctive Logic Programming: A Survey and Assessment.
Computational Logic: Logic Programming and Beyond 2002: 472-511 |
| 125 | | John Grant,
Jack Minker:
A logic-based approach to data integration.
TPLP 2(3): 323-368 (2002) |
| 2001 |
|---|
| 124 | EE | John Grant,
Jack Minker:
A logic-based approach to data integration
CoRR cs.DB/0110032: (2001) |
| 123 | | Jack Minker:
Editorial (by the Editor in Chief).
TPLP 1(1): 3-4 (2001) |
| 2000 |
|---|
| 122 | EE | John Grant,
Jarek Gryz,
Jack Minker,
Louiqa Raschid:
Logic-Based Query Optimization for Object Databases.
IEEE Trans. Knowl. Data Eng. 12(4): 529-547 (2000) |
| 1999 |
|---|
| 121 | | Jack Minker:
The Workshop on Logic-Based Artificial Intelligence.
AI Magazine 20(4): 97-102 (1999) |
| 1998 |
|---|
| 120 | EE | Jack Minker:
An Overview of Cooperative Answering in Databases.
FQAS 1998: 282-285 |
| 119 | EE | Parke Godfrey,
John Grant,
Jarek Gryz,
Jack Minker:
Integrity Constraints: Semantics and Applications.
Logics for Databases and Information Systems 1998: 265-306 |
| 118 | | Carolina Ruiz,
Jack Minker:
Logic Knowledge Bases With Two Default Rules.
Ann. Math. Artif. Intell. 22(3-4): 333-361 (1998) |
| 1997 |
|---|
| 117 | EE | John Grant,
Jarek Gryz,
Jack Minker,
Louiqa Raschid:
Semantic Query Optimization for Object Databases.
ICDE 1997: 444-453 |
| 116 | | Dietmar Seipel,
Jack Minker,
Carolina Ruiz:
A Characterization of the Partial Stable Models For Disjunctive Databases.
ILPS 1997: 245-259 |
| 115 | | Jack Minker:
Logic and Databases: Past, Present, and Future.
AI Magazine 18(3): 21-47 (1997) |
| 114 | | Carolina Ruiz,
Jack Minker:
Combining Closed World Assumptions with Stable Negation.
Fundam. Inform. 32(2): 163-181 (1997) |
| 113 | | Dietmar Seipel,
Jack Minker,
Carolina Ruiz:
Model Generation and State Generation for Disjunctive Logic Programs.
J. Log. Program. 32(1): 49-69 (1997) |
| 1996 |
|---|
| 112 | | Parke Godfrey,
Jarek Gryz,
Jack Minker:
Semantic Query Optimization for Bottom-Up Evaluation.
ISMIS 1996: 561-571 |
| 111 | | Jack Minker:
Logic and Databases: A 20 Year Retrospective.
Logic in Databases 1996: 3-57 |
| 110 | | Shekhar Pradhan,
Jack Minker:
Using Priorities to Combine Knowledge Bases.
Int. J. Cooperative Inf. Syst. 5(2&3): 333- (1996) |
| 109 | | José Alberto Fernández,
John Grant,
Jack Minker:
Model Theoretic Approach to View Updates in Deductive Databases.
J. Autom. Reasoning 17(2): 171-197 (1996) |
| 1995 |
|---|
| 108 | | José Alberto Fernández,
Jack Minker,
Adnan H. Yahya:
Computing Perfect and Stable Model Using Ordered Model Trees.
Computational Intelligence 11: 89-112 (1995) |
| 107 | | Shekhar Pradhan,
Jack Minker,
V. S. Subrahmanian:
Combining Databases with Prioritized Information.
J. Intell. Inf. Syst. 4(3): 231-260 (1995) |
| 106 | | José Alberto Fernández,
Jack Minker:
Bottom-Up Compuation of Perfect Models for Disjunctive Theories.
J. Log. Program. 25(1): 33-51 (1995) |
| 1994 |
|---|
| 105 | | Parke Godfrey,
Jack Minker,
Lev Novik:
An Architecture for a Cooperative Database System.
ADB 1994: 3-24 |
| 104 | | Carolina Ruiz,
Jack Minker:
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs.
NMELP 1994: 205-229 |
| 103 | | Jack Minker:
Overview of Disjunctive Logic Programming.
Ann. Math. Artif. Intell. 12(1-2): 1-24 (1994) |
| 102 | | Jack Minker,
Carolina Ruiz:
Semantics for Disjunctive Logic Programs with Explicit and Default Negation.
Fundam. Inform. 20(1/2/3): 145-192 (1994) |
| 101 | | Chitta Baral,
Sarit Kraus,
Jack Minker,
V. S. Subrahmanian:
Combining Default Logic Databases.
Int. J. Cooperative Inf. Syst. 3(3): 319- (1994) |
| 100 | | Adnan H. Yahya,
Jack Minker:
Query Evaluation in Partitoned Disjunctive Deductive Databases.
Int. J. Cooperative Inf. Syst. 3(4): 385-414 (1994) |
| 99 | | Adnan H. Yahya,
José Alberto Fernández,
Jack Minker:
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases.
J. Autom. Reasoning 13(1): 117-143 (1994) |
| 1993 |
|---|
| 98 | | Jack Minker,
Carolina Ruiz:
On Extended Disjunctive Logic Programs.
ISMIS 1993: 1-18 |
| 97 | | 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): 449-474 (1993) |
| 96 | | John Grant,
John F. Horty,
Jorge Lobo,
Jack Minker:
View Updates in Stratified Disjunctive Databases.
J. Autom. Reasoning 11(2): 249-267 (1993) |
| 95 | | Jack Minker:
An Overview of Nonmonotonic Reasoning and Logic Programming.
J. Log. Program. 17(2/3&4): 95-126 (1993) |
| 1992 |
|---|
| 94 | EE | José Alberto Fernández,
Jack Minker:
Semantics of Disjunctive Deductive Databases.
ICDT 1992: 21-50 |
| 93 | | Zheng Lin,
Jack Minker:
A Distributed Load Balancing Scheme for Parallel Logic Programming.
ICPP (2) 1992: 66-73 |
| 92 | | José Alberto Fernández,
Jack Minker:
Disjunctive Deductive Databases.
LPAR 1992: 332-356 |
| 91 | | Terry Gaasterland,
Parke Godfrey,
Jack Minker,
Lev Novik:
A Cooperative Answering System.
LPAR 1992: 478-480 |
| 90 | | Zahidul A. Khandaker,
José Alberto Fernández,
Jack Minker:
A Tractable Class of Disjunctive Deductive Databases.
Workshop on Deductive Databases, JICSLP 1992: 11-20 |
| 89 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
Generalized Disjunctive Well-Founded Semantics for Logic Programs.
Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992) |
| 88 | | John Grant,
Jack Minker:
The Impact of Logic Programming on Databases.
Commun. ACM 35(3): 66-81 (1992) |
| 87 | | Chitta Baral,
Sarit Kraus,
Jack Minker,
V. S. Subrahmanian:
Combining Knowledge Bases Consisting of First-Order Analysis.
Computational Intelligence 8: 45-71 (1992) |
| 86 | | Terry Gaasterland,
Parke Godfrey,
Jack Minker:
An Overview of Cooperative Answering.
J. Intell. Inf. Syst. 1(2): 123-157 (1992) |
| 85 | | Terry Gaasterland,
Parke Godfrey,
Jack Minker:
Relaxation as a Platform for Cooperative Answering.
J. Intell. Inf. Syst. 1(3/4): 293-321 (1992) |
| 1991 |
|---|
| 84 | | Jack Minker,
Arcot Rajasekar,
Jorge Lobo:
Theory of Disjunctive Logic Programs.
Computational Logic - Essays in Honor of Alan Robinson 1991: 613-639 |
| 83 | | José Alberto Fernández,
Jack Minker:
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases.
ICLP 1991: 660-675 |
| 82 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs.
ISMIS 1991: 459-468 |
| 81 | | Chitta Baral,
Sarit Kraus,
Jack Minker,
V. S. Subrahmanian:
Combining Knowledge Bases Consisting of First Order Theories.
ISMIS 1991: 92-101 |
| 80 | EE | Chitta Baral,
Sarit Kraus,
Jack Minker:
Combining Multiple Knowledge Bases.
IEEE Trans. Knowl. Data Eng. 3(2): 208-220 (1991) |
| 79 | | Jorge Lobo,
Arcot Rajasekar,
Jack Minker:
Semantics of Horn and Disjunctive Logic Programs.
Theor. Comput. Sci. 86(1): 93-106 (1991) |
| 1990 |
|---|
| 78 | | Chitta Baral,
Jorge Lobo,
Jack Minker:
Generalized Well-founded Semantics for Logic Programs (Extended Abstract).
CADE 1990: 102-116 |
| 77 | EE | Upen S. Chakravarthy,
John Grant,
Jack Minker:
Logic-Based Approach to Semantic Query Optimization.
ACM Trans. Database Syst. 15(2): 162-207 (1990) |
| 76 | | Arcot Rajasekar,
Jack Minker:
On Stratified Disjunctive Programs.
Ann. Math. Artif. Intell. 1: (1990) |
| 75 | | Jack Minker,
Arcot Rajasekar:
A Fixpoint Semantics for Disjunctive Logic Programs.
J. Log. Program. 9(1): 45-74 (1990) |
| 1989 |
|---|
| 74 | | Jorge Lobo,
Jack Minker,
Arcot Rajasekar:
Extending the Semantics of Logic Programs to Disjunctive Logic Programs.
ICLP 1989: 255-267 |
| 73 | | Arcot Rajasekar,
Jorge Lobo,
Jack Minker:
Skeptical Reasoning and Disjunctive Programs.
KR 1989: 349-356 |
| 72 | | Jack Minker:
Toward A Foundation of Disjunctive Logic Programming.
NACLP 1989: 1215-1235 |
| 71 | | Arcot Rajasekar,
Jack Minker:
A Stratification Semantics for General Disjunctive Programs.
NACLP 1989: 573-586 |
| 70 | | Jack Minker:
Scientific Freedom and Human Rights of Computer Professionals - 1989.
Commun. ACM 32(8): 957-974 (1989) |
| 69 | | Arcot Rajasekar,
Jorge Lobo,
Jack Minker:
Weak Generalized Closed World Assumption.
J. Autom. Reasoning 5(3): 293-307 (1989) |
| 1988 |
|---|
| 68 | | Jack Minker:
Foundations of Deductive Databases and Logic Programming
Morgan Kaufmann 1988 |
| 67 | | Jack Minker,
Arcot Rajasekar:
Procedural Interpretation of Non-Horn Logic Programs.
CADE 1988: 278-293 |
| 66 | | Jorge Lobo,
Jack Minker:
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases.
Expert Database Conf. 1988: 699-741 |
| 65 | | Jorge Lobo,
Jack Minker,
Arcot Rajasekar:
Weak Completion Theory for Non-Horn Programs.
ICLP/SLP 1988: 828-842 |
| 64 | | Jack Minker:
Introduction
Foundations of Deductive Databases and Logic Programming. 1988: 1-16 |
| 63 | | Upen S. Chakravarthy,
John Grant,
Jack Minker:
Foundations of Semantic Query Optimization for Deductive Databases
Foundations of Deductive Databases and Logic Programming. 1988: 243-273 |
| 62 | | Jack Minker:
Perspectives in Deductive Databases.
J. Log. Program. 5(1): 33-60 (1988) |
| 1987 |
|---|
| 61 | | Jack Minker:
Deductive Databases: An Overview of Some Alternative Theories.
ISMIS 1987: 148-158 |
| 60 | | Annie Gal,
Jack Minker:
Informative and Cooperative Answers in Databases Using Integrity Constraints.
Natural Language Understanding and Logic Programming Workshop 1987: 277-300 |
| 59 | EE | Jack Minker:
Perspectives in Deductive Databases (Abstract).
PODS 1987: 135 |
| 58 | EE | Jack Minker:
Human Rights: Some Perspectives.
SIGMOD Record 16(1): 18-27 (1987) |
| 57 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Logic and Databases: A Response.
SIGPLAN Notices 22(6): 20-24 (1987) |
| 1986 |
|---|
| 56 | | Jack Minker,
Donald Perlis,
Krishnan Subramanian:
A Parallel Self-Modifying Default Reasoning System.
AAAI 1986: 923-927 |
| 55 | | Upen S. Chakravarthy,
Jack Minker,
John Grant:
Semantic Query Optimization: Additional Constraints and Control Strategies.
Expert Database Conf. 1986: 345-379 |
| 54 | EE | Upen S. Chakravarthy,
Jack Minker:
Multiple Query Processing in Deductive Databases using Query Graphs.
VLDB 1986: 384-391 |
| 53 | | John Grant,
Jack Minker:
Answering Queries in Indefinite Databases and the Null Value Problem.
Advances in Computing Research 3: 247-267 (1986) |
| 52 | | Donald Perlis,
Jack Minker:
Completeness Results for Circumscription.
Artif. Intell. 28(1): 29-42 (1986) |
| 1985 |
|---|
| 51 | | Annie Gal,
Jack Minker:
A Natural Language Database Interface That Provides Cooperative Answers.
CAIA 1985: 352-357 |
| 50 | | Simon Kasif,
Jack Minker:
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs.
IJCAI 1985: 29-31 |
| 49 | | 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): 69-78 (1985) |
| 48 | | John Grant,
Jack Minker:
Normalization and Axiomatization for Numerical Dependencies
Information and Control 65(1): 1-17 (1985) |
| 47 | | Jack Minker,
Donald Perlis:
Computing Protected Circumscription.
J. Log. Program. 2(4): 235-249 (1985) |
| 46 | | John Grant,
Jack Minker:
Inferences for Numerical Dependencies.
Theor. Comput. Sci. 41: 271-287 (1985) |
| 1984 |
|---|
| 45 | | Hervé Gallaire,
Jean-Marie Nicolas,
Jack Minker:
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
Plemum Press 1984 |
| 44 | | Jack Minker,
Donald Perlis:
Applications of Protected Circumscription.
CADE 1984: 414-425 |
| 43 | | Upen S. Chakravarthy,
Daniel H. Fishman,
Jack Minker:
Semantic Query Optimization in Expert Systems and Database Systems.
Expert Database Workshop 1984: 659-674 |
| 42 | | Jack Minker,
Donald Perlis:
Protected Circumscription.
NMR 1984: 337-343 |
| 41 | EE | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185 (1984) |
| 40 | | Jack Minker,
Larry S. Davis:
Artificial Intelligence Research at the University of Maryland.
AI Magazine 5(1): 59-63 (1984) |
| 39 | | Jack Minker:
Alexander Lerner: A Biographical Sketch.
AI Magazine 5(1): 79-80 (1984) |
| 1983 |
|---|
| 38 | | Madhur Kohli,
Jack Minker:
Intelligent Control Using Integrity Constraints.
AAAI 1983: 202-205 |
| 37 | | Simon Kasif,
Madhur Kohli,
Jack Minker:
PRISM: A Parallel Inference System for Problem Solving.
IJCAI 1983: 544-546 |
| 36 | | Jack Minker,
Jean-Marie Nicolas:
On recursive axioms in deductive databases.
Inf. Syst. 8(1): 1-13 (1983) |
| 1982 |
|---|
| 35 | | Jack Minker:
On Indefinite Databases and the Closed World Assumption.
CADE 1982: 292-308 |
| 34 | | Norbert Eisinger,
Simon Kasif,
Jack Minker:
Logic Programming: A Parallel Approach.
ICLP 1982: 71-77 |
| 33 | | Upen S. Chakravarthy,
Jack Minker,
Duc Tran:
Interfacing Predicate Logic Languages and Relational Databases.
ICLP 1982: 91-98 |
| 32 | | Upen S. Chakravarthy,
Simon Kasif,
Madhur Kohli,
Jack Minker,
D. Cao:
Logic Programming on ZMOB: A Highly Parallel Machine.
ICPP 1982: 347-349 |
| 31 | | Jack Minker:
Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982.
Commun. ACM 25(12): 888-894 (1982) |
| 30 | EE | Upen S. Chakravarthy,
Jack Minker:
Processing Multiple Queries in Database Systems.
IEEE Database Eng. Bull. 5(3): 38-43 (1982) |
| 29 | | Jack Minker,
Guy Zanon:
An Extension to Linear Resolution with Selection Function.
Inf. Process. Lett. 14(4): 191-194 (1982) |
| 1981 |
|---|
| 28 | | Hervé Gallaire,
Jean-Marie Nicolas,
Jack Minker:
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
Plemum Press 1981 |
| 27 | EE | John Grant,
Jack Minker:
Numerical Dependencies.
XP2 Workshop on Relational Database Theory 1981 |
| 26 | | Jack Minker:
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 24(3): 134-139 (1981) |
| 1980 |
|---|
| 25 | EE | Alan R. Aronson,
Barry E. Jacobs,
Jack Minker:
A Note on Fuzzy Deduction.
J. ACM 27(4): 599-603 (1980) |
| 1979 |
|---|
| 24 | | John Grant,
Jack Minker:
Optimization in Deductive and Conventional Relational Database Systems.
Advances in Data Base Theory 1979: 195-234 |
| 23 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
Background for Advances in Data Base Theory.
Advances in Data Base Theory 1979: 3-21 |
| 1978 |
|---|
| 22 | | Hervé Gallaire,
Jack Minker:
Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977.
Plemum Press 1978 |
| 21 | EE | Bharat K. Bhargava,
Stephen R. Kimbleton,
Barbara Liskov,
Jack Minker,
Jeffrey D. Ullman:
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion).
ACM Annual Conference (1) 1978: 325 |
| 20 | EE | Jack Minker:
Search Strategy and Selection Function for an Inferential Relational System.
ACM Trans. Database Syst. 3(1): 1-31 (1978) |
| 19 | | Jack Minker:
Binary relations, matrices and inference developments.
Inf. Syst. 3(1): 37-47 (1978) |
| 1977 |
|---|
| 18 | | James R. McSkimin,
Jack Minker:
The Use of a Semantic Network in a Deductive Question- Answering System.
IJCAI 1977: 50-58 |
| 17 | | Jack Minker:
An Experimental Relational Data Base System Based on Logic.
Logic and Data Bases 1977: 107-147 |
| 16 | | Hervé Gallaire,
Jack Minker,
Jean-Marie Nicolas:
An Overview and Intoduction to Logic and Data Bases.
Logic and Data Bases 1977: 3-30 |
| 15 | EE | Jack Minker:
Information Storage and Retrieval, A Survey and Functional Description.
SIGIR Forum 12(2): 1-108 (1977) |
| 1976 |
|---|
| 14 | | Gerald A. Wilson,
Jack Minker:
Resolution, Refinements, and Search Strategies: A Comparative Study.
IEEE Trans. Computers 25(8): 782-801 (1976) |
| 1975 |
|---|
| 13 | EE | Jack Minker:
Performing Inferences over Relation Data Bases.
SIGMOD Conference 1975: 79-91 |
| 12 | | Daniel H. Fishman,
Jack Minker:
Pi-Representation: A Clause Representation for Parallel Search.
Artif. Intell. 6(2): 103-127 (1975) |
| 11 | | Gordon J. van der Brug,
Jack Minker:
State-Space, Problem-Reduction, and Theorem Proving-Some Relationships.
Commun. ACM 18(2): 107-115 (1975) |
| 1974 |
|---|
| 10 | | Jack Minker,
Gordon J. van der Brug:
The Earley Algorithm as a Problem Representation.
Inf. Process. Lett. 3(1): 1-7 (1974) |
| 1973 |
|---|
| 9 | | Jack Minker,
Daniel H. Fishman,
James R. McSkimin:
The Q* Algorithm - A Search Strategy for a Deduclive Question-Answering System.
IJCAI 1973: 31-40 |
| 8 | | Jack Minker,
Daniel H. Fishman,
James R. McSkimin:
The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System.
Artif. Intell. 4(3): 225-243 (1973) |
| 1972 |
|---|
| 7 | EE | Jack Minker,
Gerald A. Wilson,
Barbara H. Zimmerman:
An evaluation of query expansion by the addition of clustered terms for a document retrieval system.
Information Storage and Retrieval 8(6): 329-348 (1972) |
| 1971 |
|---|
| 6 | | Jack Minker,
Sam Rosenfeld:
ACM SIGIR Information Storage and Retrieval Symposium, 1971, Proceeding
ACM 1971 |
| 5 | EE | Jack Minker,
Sam Rosenfeld:
Introduction and Perspectives for the 1971 ACM Information Storage and Retrieval Symposium.
SIGIR 1971: 1-3 |
| 4 | EE | Jack Minker,
Sam Rosenfeld:
KWIC of the 1971 ACM Information Storage and Retrieval Symposium.
SIGIR 1971: 225-285 |
| 1970 |
|---|
| 3 | EE | Herbert M. Gurk,
Jack Minker:
Storage Requirements for Information Handling Centers.
J. ACM 17(1): 65-77 (1970) |
| 2 | EE | J. Gary Augustson,
Jack Minker:
An Analysis of Some Graph Theoretical Cluster Techniques.
J. ACM 17(4): 571-588 (1970) |
| 1961 |
|---|
| 1 | EE | Herbert M. Gurk,
Jack Minker:
The Design and Simulation of an Information Processing System.
J. ACM 8(2): 260-270 (1961) |
