Jack Minker

Jack Minker: To Vladimir Lifschitz on His 65th Birthday. Correct Reasoning 2012: 1-13

Jack Minker: Opening: Homage to Michael Gelfond on His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 1-11

John Grant, Jack Minker: Deductive Databases. Wiley Encyclopedia of Computer Science and Engineering 2008

Jack Minker: Forming a Computer Science Center at the University of Maryland. IEEE Annals of the History of Computing 29(1): 49-64 (2007)

Jack Minker: Developing a Computer Science Department at the University of Maryland. IEEE Annals of the History of Computing 29(4): 64-75 (2007)

Jack Minker: In Memoriam: Raymond Reiter. AI Magazine 24(1): 13-18 (2003)

Jack Minker: In Memoriam: Raymond Reiter. Computational Intelligence 19(1): 1-8 (2003)

John Grant, Jack Minker: A logic-based approach to data integration. TPLP 2(3): 323-368 (2002)

Jack Minker, Dietmar Seipel: Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond 2002: 472-511

Jack Minker: Editorial (by the Editor in Chief). TPLP 1(1): 3-4 (2001)

John Grant, Jack Minker: A logic-based approach to data integration. CoRR cs.DB/0110032 (2001)

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)

Jack Minker: The Workshop on Logic-Based Artificial Intelligence. AI Magazine 20(4): 97-102 (1999)

Carolina Ruiz, Jack Minker: Logic Knowledge Bases With Two Default Rules. Ann. Math. Artif. Intell. 22(3-4): 333-361 (1998)

Parke Godfrey, John Grant, Jarek Gryz, Jack Minker: Integrity Constraints: Semantics and Applications. Logics for Databases and Information Systems 1998: 265-306

Jack Minker: An Overview of Cooperative Answering in Databases. FQAS 1998: 282-285

Jack Minker: Logic and Databases: Past, Present, and Future. AI Magazine 18(3): 21-47 (1997)

Carolina Ruiz, Jack Minker: Combining Closed World Assumptions with Stable Negation. Fundam. Inform. 32(2): 163-181 (1997)

Dietmar Seipel, Jack Minker, Carolina Ruiz: Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. 32(1): 49-69 (1997)

John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid: Semantic Query Optimization for Object Databases. ICDE 1997: 444-453

Dietmar Seipel, Jack Minker, Carolina Ruiz: A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS 1997: 245-259

Shekhar Pradhan, Jack Minker: Using Priorities to Combine Knowledge Bases. Int. J. Cooperative Inf. Syst. 5(2&3): 333-364 (1996)

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)

Parke Godfrey, Jarek Gryz, Jack Minker: Semantic Query Optimization for Bottom-Up Evaluation. ISMIS 1996: 561-571

Jack Minker: Logic and Databases: A 20 Year Retrospective. Logic in Databases 1996: 3-57

José Alberto Fernández, Jack Minker, Adnan H. Yahya: Computing Perfect and Stable Model Using Ordered Model Trees. Computational Intelligence 11: 89-112 (1995)

Shekhar Pradhan, Jack Minker, V. S. Subrahmanian: Combining Databases with Prioritized Information. J. Intell. Inf. Syst. 4(3): 231-260 (1995)

José Alberto Fernández, Jack Minker: Bottom-Up Compuation of Perfect Models for Disjunctive Theories. J. Log. Program. 25(1): 33-51 (1995)

Jack Minker: Overview of Disjunctive Logic Programming. Ann. Math. Artif. Intell. 12(1-2): 1-24 (1994)

Jack Minker, Carolina Ruiz: Semantics for Disjunctive Logic Programs with Explicit and Default Negation. Fundam. Inform. 20(1/2/3): 145-192 (1994)

Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Default Logic Databases. Int. J. Cooperative Inf. Syst. 3(3): 319-348 (1994)

Adnan H. Yahya, Jack Minker: Query Evaluation in Partitoned Disjunctive Deductive Databases. Int. J. Cooperative Inf. Syst. 3(4): 385-414 (1994)

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)

Parke Godfrey, Jack Minker, Lev Novik: An Architecture for a Cooperative Database System. ADB 1994: 3-24

Carolina Ruiz, Jack Minker: Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. NMELP 1994: 205-229

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)

John Grant, John F. Horty, Jorge Lobo, Jack Minker: View Updates in Stratified Disjunctive Databases. J. Autom. Reasoning 11(2): 249-267 (1993)

Jack Minker: An Overview of Nonmonotonic Reasoning and Logic Programming. J. Log. Program. 17(2/3&4): 95-126 (1993)

Jack Minker, Carolina Ruiz: On Extended Disjunctive Logic Programs. ISMIS 1993: 1-18

Jorge Lobo, Jack Minker, Arcot Rajasekar: Foundations of disjunctive logic programming. Logic Programming, MIT Press 1992, isbn 978-0-262-12165-1, pp. 1-307

Chitta Baral, Jorge Lobo, Jack Minker: Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992)

John Grant, Jack Minker: The Impact of Logic Programming on Databases. Commun. ACM 35(3): 66-81 (1992)

Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First-Order Analysis. Computational Intelligence 8: 45-71 (1992)

Terry Gaasterland, Parke Godfrey, Jack Minker: An Overview of Cooperative Answering. J. Intell. Inf. Syst. 1(2): 123-157 (1992)

Terry Gaasterland, Parke Godfrey, Jack Minker: Relaxation as a Platform for Cooperative Answering. J. Intell. Inf. Syst. 1(3/4): 293-321 (1992)

Zahidul A. Khandaker, José Alberto Fernández, Jack Minker: A Tractable Class of Disjunctive Deductive Databases. Workshop on Deductive Databases, JICSLP 1992: 11-20

José Alberto Fernández, Jack Minker: Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50

Zheng Lin, Jack Minker: A Distributed Load Balancing Scheme for Parallel Logic Programming. ICPP (2) 1992: 66-73

José Alberto Fernández, Jack Minker: Disjunctive Deductive Databases. LPAR 1992: 332-356

Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik: A Cooperative Answering System. LPAR 1992: 478-480

Jorge Lobo, Arcot Rajasekar, Jack Minker: Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. 86(1): 93-106 (1991)

Chitta Baral, Sarit Kraus, Jack Minker: Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3(2): 208-220 (1991)

Jack Minker, Arcot Rajasekar, Jorge Lobo: Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 613-639

José Alberto Fernández, Jack Minker: Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. ICLP 1991: 660-675

Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First Order Theories. ISMIS 1991: 92-101

Chitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468

Arcot Rajasekar, Jack Minker: On Stratified Disjunctive Programs. Ann. Math. Artif. Intell. 1: 339-357 (1990)

Jack Minker, Arcot Rajasekar: A Fixpoint Semantics for Disjunctive Logic Programs. J. Log. Program. 9(1): 45-74 (1990)

Upen S. Chakravarthy, John Grant, Jack Minker: Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15(2): 162-207 (1990)

Chitta Baral, Jorge Lobo, Jack Minker: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116

Jack Minker: Scientific Freedom and Human Rights of Computer Professionals - 1989. Commun. ACM 32(8): 957-974 (1989)

Arcot Rajasekar, Jorge Lobo, Jack Minker: Weak Generalized Closed World Assumption. J. Autom. Reasoning 5(3): 293-307 (1989)

Jorge Lobo, Jack Minker, Arcot Rajasekar: Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP 1989: 255-267

Arcot Rajasekar, Jorge Lobo, Jack Minker: Skeptical Reasoning and Disjunctive Programs. KR 1989: 349-356

Arcot Rajasekar, Jack Minker: A Stratification Semantics for General Disjunctive Programs. NACLP 1989: 573-586

Jack Minker: Toward A Foundation of Disjunctive Logic Programming. NACLP 1989: 1215-1235

Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, isbn 0-934613-40-0

Jack Minker: Perspectives in Deductive Databases. J. Log. Program. 5(1): 33-60 (1988)

Jack Minker: Introduction. Foundations of Deductive Databases and Logic Programming. 1988: 1-16

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

Jack Minker, Arcot Rajasekar: Procedural Interpretation of Non-Horn Logic Programs. CADE 1988: 278-293

Jorge Lobo, Jack Minker: A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. 1988: 699-741

Jorge Lobo, Jack Minker, Arcot Rajasekar: Weak Completion Theory for Non-Horn Programs. ICLP/SLP 1988: 828-842

Jack Minker: Human Rights: Some Perspectives. SIGMOD Record 16(1): 18-27 (1987)

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Response. SIGPLAN Notices 22(6): 20-24 (1987)

Jack Minker: Deductive Databases: An Overview of Some Alternative Theories. ISMIS 1987: 148-158

Annie Gal, Jack Minker: Informative and Cooperative Answers in Databases Using Integrity Constraints. Natural Language Understanding and Logic Programming Workshop 1987: 277-300

Jack Minker: Perspectives in Deductive Databases (Abstract). PODS 1987: 135

John Grant, Jack Minker: Answering Queries in Indefinite Databases and the Null Value Problem. Advances in Computing Research 3: 247-267 (1986)

Donald Perlis, Jack Minker: Completeness Results for Circumscription. Artif. Intell. 28(1): 29-42 (1986)

Jack Minker, Donald Perlis, Krishnan Subramanian: A Parallel Self-Modifying Default Reasoning System. AAAI 1986: 923-927

Upen S. Chakravarthy, Jack Minker, John Grant: Semantic Query Optimization: Additional Constraints and Control Strategies. Expert Database Conf. 1986: 345-379

Upen S. Chakravarthy, Jack Minker: Multiple Query Processing in Deductive Databases using Query Graphs. VLDB 1986: 384-391

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)

John Grant, Jack Minker: Normalization and Axiomatization for Numerical Dependencies. Information and Control 65(1): 1-17 (1985)

Jack Minker, Donald Perlis: Computing Protected Circumscription. J. Log. Program. 2(4): 235-249 (1985)

John Grant, Jack Minker: Inferences for Numerical Dependencies. Theor. Comput. Sci. 41: 271-287 (1985)

Annie Gal, Jack Minker: A Natural Language Database Interface That Provides Cooperative Answers. CAIA 1985: 352-357

Simon Kasif, Jack Minker: The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. IJCAI 1985: 29-31

Jack Minker, Larry S. Davis: Artificial Intelligence Research at the University of Maryland. AI Magazine 5(1): 59-63 (1984)

Jack Minker: Alexander Lerner: A Biographical Sketch. AI Magazine 5(1): 79-80 (1984)

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185 (1984)

Jack Minker, Donald Perlis: Applications of Protected Circumscription. CADE 1984: 414-425

Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker: Semantic Query Optimization in Expert Systems and Database Systems. Expert Database Workshop 1984: 659-674

Jack Minker, Donald Perlis: Protected Circumscription. NMR 1984: 337-343

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): 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. Advances in Data Base Theory, Plemum Press 1984, isbn 0-306-41636-0

Jack Minker, Jean-Marie Nicolas: On recursive axioms in deductive databases. Inf. Syst. 8(1): 1-13 (1983)

Madhur Kohli, Jack Minker: Intelligent Control Using Integrity Constraints. AAAI 1983: 202-205

Simon Kasif, Madhur Kohli, Jack Minker: PRISM: A Parallel Inference System for Problem Solving. IJCAI 1983: 544-546

Jack Minker: Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982. Commun. ACM 25(12): 888-894 (1982)

Upen S. Chakravarthy, Jack Minker: Processing Multiple Queries in Database Systems. IEEE Database Eng. Bull. 5(3): 38-43 (1982)

John Grant, Jack Minker: On optimizing the evaluation of a set of expressions. International Journal of Parallel Programming 11(3): 179-191 (1982)

Jack Minker, Guy Zanon: An Extension to Linear Resolution with Selection Function. Inf. Process. Lett. 14(4): 191-194 (1982)

Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308

Norbert Eisinger, Simon Kasif, Jack Minker: Logic Programming: A Parallel Approach. ICLP 1982: 71-77

Upen S. Chakravarthy, Jack Minker, Duc Tran: Interfacing Predicate Logic Languages and Relational Databases. ICLP 1982: 91-98

Upen S. Chakravarthy, Simon Kasif, Madhur Kohli, Jack Minker, D. Cao: Logic Programming on ZMOB: A Highly Parallel Machine. ICPP 1982: 347-349

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)

John Grant, Jack Minker: Numerical Dependencies. XP2 Workshop on Relational Database Theory 1981

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): 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. Advances in Data Base Theory, Plemum Press 1981, isbn 0-306-40629-2

Alan R. Aronson, Barry E. Jacobs, Jack Minker: A Note on Fuzzy Deduction. J. ACM 27(4): 599-603 (1980)

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Background for Advances in Data Base Theory. Advances in Data Base Theory 1979: 3-21

John Grant, Jack Minker: Optimization in Deductive and Conventional Relational Database Systems. Advances in Data Base Theory 1979: 195-234

Jack Minker: Binary relations, matrices and inference developments. Inf. Syst. 3(1): 37-47 (1978)

Jack Minker: Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. 3(1): 1-31 (1978)

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

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory, Plemum Press 1978, isbn 0-306-40060-X

Jack Minker, Gerald A. Wilson: A note on answer extraction in resolution-based systems. International Journal of Parallel Programming 6(3): 179-192 (1977)

Jack Minker: Information Storage and Retrieval, A Survey and Functional Description. SIGIR Forum 12(2): 1-108 (1977)

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: An Overview and Intoduction to Logic and Data Bases. Logic and Data Bases 1977: 3-30

Jack Minker: An Experimental Relational Data Base System Based on Logic. Logic and Data Bases 1977: 107-147

James R. McSkimin, Jack Minker: The Use of a Semantic Network in a Deductive Question- Answering System. IJCAI 1977: 50-58

Gerald A. Wilson, Jack Minker: Resolution, Refinements, and Search Strategies: A Comparative Study. IEEE Trans. Computers 25(8): 782-801 (1976)

Daniel H. Fishman, Jack Minker: Pi-Representation: A Clause Representation for Parallel Search. Artif. Intell. 6(2): 103-127 (1975)

Gordon J. van der Brug, Jack Minker: State-Space, Problem-Reduction, and Theorem Proving-Some Relationships. Commun. ACM 18(2): 107-115 (1975)

Jack Minker: Performing Inferences over Relation Data Bases. SIGMOD Conference 1975: 79-91

Jack Minker, James R. McSkimin, Daniel H. Fishman: MRPPS - An interactive refutation proof procedure system for question-answering. International Journal of Parallel Programming 3(2): 105-122 (1974)

Jack Minker, Gordon J. van der Brug: Representations of the language recognition problem for a theorem prover. International Journal of Parallel Programming 3(3): 217-250 (1974)

Jack Minker, Gordon J. van der Brug: The Earley Algorithm as a Problem Representation. Inf. Process. Lett. 3(1): 1-7 (1974)

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)

Jack Minker, Daniel H. Fishman, James R. McSkimin: The Q* Algorithm - A Search Strategy for a Deduclive Question-Answering System. IJCAI 1973: 31-40

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)

Jack Minker, Sam Rosenfeld: Introduction and Perspectives for the 1971 ACM Information Storage and Retrieval Symposium. SIGIR 1971: 1-3

Jack Minker, Sam Rosenfeld (Eds.): ACM SIGIR Information Storage and Retrieval Symposium, 1971, Proceeding. ACM 1971

Herbert M. Gurk, Jack Minker: Storage Requirements for Information Handling Centers. J. ACM 17(1): 65-77 (1970)

J. Gary Augustson, Jack Minker: An Analysis of Some Graph Theoretical Cluster Techniques. J. ACM 17(4): 571-588 (1970)

Herbert M. Gurk, Jack Minker: The Design and Simulation of an Information Processing System. J. ACM 8(2): 260-270 (1961)