dblp.uni-trier.dewww.uni-trier.de

Jack Minker Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
130EEJohn Grant, Jack Minker: Deductive Databases. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
129EEJack Minker: Forming a Computer Science Center at the University of Maryland. IEEE Annals of the History of Computing 29(1): 49-64 (2007)
128EEJack 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
126EEJack 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
124EEJohn 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
122EEJohn 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
120EEJack Minker: An Overview of Cooperative Answering in Databases. FQAS 1998: 282-285
119EEParke 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
117EEJohn 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
112EEParke 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
98EEJack 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
94EEJosé 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
92EEJosé Alberto Fernández, Jack Minker: Disjunctive Deductive Databases. LPAR 1992: 332-356
91EETerry 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
82EEChitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468
81EEChitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian: Combining Knowledge Bases Consisting of First Order Theories. ISMIS 1991: 92-101
80EEChitta 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
78EEChitta Baral, Jorge Lobo, Jack Minker: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116
77EEUpen 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
67EEJack 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
59EEJack Minker: Perspectives in Deductive Databases (Abstract). PODS 1987: 135
58EEJack 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
54EEUpen 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
44EEJack 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
41EEHervé 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
35EEJack 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)
30EEUpen 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
27EEJohn 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
25EEAlan 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
21EEBharat 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
20EEJack 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
15EEJack 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
13EEJack 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
7EEJack 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
5EEJack Minker, Sam Rosenfeld: Introduction and Perspectives for the 1971 ACM Information Storage and Retrieval Symposium. SIGIR 1971: 1-3
4EEJack Minker, Sam Rosenfeld: KWIC of the 1971 ACM Information Storage and Retrieval Symposium. SIGIR 1971: 225-285
1970
3EEHerbert M. Gurk, Jack Minker: Storage Requirements for Information Handling Centers. J. ACM 17(1): 65-77 (1970)
2EEJ. Gary Augustson, Jack Minker: An Analysis of Some Graph Theoretical Cluster Techniques. J. ACM 17(4): 571-588 (1970)
1961
1EEHerbert M. Gurk, Jack Minker: The Design and Simulation of an Information Processing System. J. ACM 8(2): 260-270 (1961)

Coauthor Index

1Alan R. Aronson [25]
2J. Gary Augustson [2]
3Chitta Baral [78] [80] [81] [82] [87] [89] [101]
4Bharat K. Bhargava [21]
5Gordon J. van der Brug [10] [11]
6D. Cao [32]
7Upen S. Chakravarthy [30] [32] [33] [43] [54] [55] [63] [77]
8Larry S. Davis [40]
9Norbert Eisinger [34]
10José Alberto Fernández [83] [90] [92] [94] [97] [99] [106] [108] [109]
11Daniel H. Fishman [8] [9] [12] [43]
12Terry Gaasterland [85] [86] [91]
13Annie Gal [51] [60]
14Hervé Gallaire [16] [22] [23] [28] [41] [45] [57]
15Parke Godfrey [85] [86] [91] [105] [112] [119]
16John Grant [24] [27] [46] [48] [53] [55] [63] [77] [88] [96] [109] [117] [119] [122] [124] [125] [130]
17Jarek Gryz [112] [117] [119] [122]
18Herbert M. Gurk [1] [3]
19John F. Horty [96]
20Barry E. Jacobs [25]
21Simon Kasif [32] [34] [37] [50]
22Zahidul A. Khandaker [90]
23Stephen R. Kimbleton [21]
24Madhur Kohli [32] [37] [38]
25Sarit Kraus [80] [81] [87] [101]
26Zheng Lin [93]
27Barbara Liskov [21]
28Jorge Lobo [65] [66] [69] [73] [74] [78] [79] [82] [84] [89] [96] [97]
29James R. McSkimin [8] [9] [18]
30Jean-Marie Nicolas [16] [23] [28] [36] [41] [45] [57]
31Lev Novik [91] [105]
32Donald Perlis [42] [44] [47] [52] [56]
33Shekhar Pradhan [107] [110]
34Arcot Rajasekar [65] [67] [69] [71] [73] [74] [75] [76] [79] [84]
35Louiqa Raschid [117] [122]
36Sam Rosenfeld [4] [5] [6]
37Carolina Ruiz [98] [102] [104] [113] [114] [116] [118]
38Dietmar Seipel [113] [116] [126]
39V. S. Subrahmanian [81] [87] [97] [101] [107]
40Krishnan Subramanian [56]
41Duc Tran [33]
42Jeffrey D. Ullman [21]
43Gerald A. Wilson [7] [14]
44Adnan H. Yahya [99] [100] [108]
45Guy Zanon [29]
46Barbara H. Zimmerman [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)