default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJack Minker
Person information
- affiliation: University of Maryland, College Park, USA
- award (2005): ACM - AAAI Allen Newell Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2014
[r2]Jack Minker, Dietmar Seipel, Carlo Zaniolo:
Logic and Databases: A History of Deductive Databases. Computational Logic 2014: 571-627- 2012
- [c62]Jack Minker:
To Vladimir Lifschitz on His 65th Birthday. Correct Reasoning 2012: 1-13 - 2011
- [c61]Jack Minker:
Opening: Homage to Michael Gelfond on His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 1-11 - [r1]John Grant, Jack Minker:
Logic and Knowledge Bases. Encyclopedia of Knowledge Management 2011: 1022-1033
2000 – 2009
- 2008
- [p3]John Grant, Jack Minker:
Deductive Databases. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j79]Jack Minker:
Forming a Computer Science Center at the University of Maryland. IEEE Ann. Hist. Comput. 29(1): 49-64 (2007) - [j78]Jack Minker:
Developing a Computer Science Department at the University of Maryland. IEEE Ann. Hist. Comput. 29(4): 64-75 (2007) - 2003
- [j77]Jack Minker:
In Memoriam: Raymond Reiter. AI Mag. 24(1): 13-18 (2003) - [j76]Jack Minker:
In Memoriam: Raymond Reiter. Comput. Intell. 19(1): 1-8 (2003) - 2002
- [j75]John Grant, Jack Minker:
A logic-based approach to data integration. Theory Pract. Log. Program. 2(3): 323-368 (2002) - [c60]Jack Minker, Dietmar Seipel:
Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond 2002: 472-511 - 2001
- [j74]Jack Minker:
Editorial (by the Editor in Chief). Theory Pract. Log. Program. 1(1): 3-4 (2001) - [i1]John Grant, Jack Minker:
A logic-based approach to data integration. CoRR cs.DB/0110032 (2001) - 2000
- [j73]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)
1990 – 1999
- 1999
- [j72]Jack Minker:
The Workshop on Logic-Based Artificial Intelligence. AI Mag. 20(4): 97-102 (1999) - 1998
- [j71]Carolina Ruiz, Jack Minker:
Logic Knowledge Bases With Two Default Rules. Ann. Math. Artif. Intell. 22(3-4): 333-361 (1998) - [c59]Parke Godfrey, John Grant, Jarek Gryz, Jack Minker:
Integrity Constraints: Semantics and Applications. Logics for Databases and Information Systems 1998: 265-306 - [c58]Jack Minker:
An Overview of Cooperative Answering in Databases. FQAS 1998: 282-285 - 1997
- [j70]Jack Minker:
Logic and Databases: Past, Present, and Future. AI Mag. 18(3): 21-47 (1997) - [j69]Carolina Ruiz, Jack Minker:
Combining Closed World Assumptions with Stable Negation. Fundam. Informaticae 32(2): 163-181 (1997) - [j68]Dietmar Seipel, Jack Minker, Carolina Ruiz:
Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. 32(1): 49-69 (1997) - [c57]John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid:
Semantic Query Optimization for Object Databases. ICDE 1997: 444-453 - [c56]Dietmar Seipel, Jack Minker, Carolina Ruiz:
A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS 1997: 245-259 - 1996
- [j67]Shekhar Pradhan, Jack Minker:
Using Priorities to Combine Knowledge Bases. Int. J. Cooperative Inf. Syst. 5(2&3): 333-364 (1996) - [j66]José Alberto Fernández, John Grant, Jack Minker:
Model Theoretic Approach to View Updates in Deductive Databases. J. Autom. Reason. 17(2): 171-197 (1996) - [c55]Parke Godfrey, Jarek Gryz, Jack Minker:
Semantic Query Optimization for Bottom-Up Evaluation. ISMIS 1996: 561-571 - [c54]Jack Minker:
Logic and Databases: A 20 Year Retrospective. Logic in Databases 1996: 3-57 - 1995
- [j65]José Alberto Fernández, Jack Minker, Adnan H. Yahya:
Computing Perfect and Stable Model Using Ordered Model Trees. Comput. Intell. 11: 89-112 (1995) - [j64]Shekhar Pradhan, Jack Minker, V. S. Subrahmanian:
Combining Databases with Prioritized Information. J. Intell. Inf. Syst. 4(3): 231-260 (1995) - [j63]José Alberto Fernández, Jack Minker:
Bottom-Up Compuation of Perfect Models for Disjunctive Theories. J. Log. Program. 25(1): 33-51 (1995) - 1994
- [j62]Jack Minker:
Overview of Disjunctive Logic Programming. Ann. Math. Artif. Intell. 12(1-2): 1-24 (1994) - [j61]Jack Minker, Carolina Ruiz:
Semantics for Disjunctive Logic Programs with Explicit and Default Negation. Fundam. Informaticae 20(1/2/3): 145-192 (1994) - [j60]Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian:
Combining Default Logic Databases. Int. J. Cooperative Inf. Syst. 3(3): 319-348 (1994) - [j59]Adnan H. Yahya, Jack Minker:
Query Evaluation in Partitoned Disjunctive Deductive Databases. Int. J. Cooperative Inf. Syst. 3(4): 385-414 (1994) - [j58]Adnan H. Yahya, José Alberto Fernández, Jack Minker:
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. J. Autom. Reason. 13(1): 117-143 (1994) - [c53]Parke Godfrey, Jack Minker, Lev Novik:
An Architecture for a Cooperative Database System. ADB 1994: 3-24 - [c52]Carolina Ruiz, Jack Minker:
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. NMELP 1994: 205-229 - 1993
- [j57]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) - [j56]John Grant, John F. Horty, Jorge Lobo, Jack Minker:
View Updates in Stratified Disjunctive Databases. J. Autom. Reason. 11(2): 249-267 (1993) - [j55]Jack Minker:
An Overview of Nonmonotonic Reasoning and Logic Programming. J. Log. Program. 17(2/3&4): 95-126 (1993) - [c51]Jack Minker, Carolina Ruiz:
On Extended Disjunctive Logic Programs. ISMIS 1993: 1-18 - 1992
- [b1]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 - [j54]Chitta Baral, Jorge Lobo, Jack Minker:
Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5(2-4): 89-131 (1992) - [j53]John Grant, Jack Minker:
The Impact of Logic Programming on Databases. Commun. ACM 35(3): 66-81 (1992) - [j52]Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian:
Combining Knowledge Bases Consisting of First-Order Analysis. Comput. Intell. 8: 45-71 (1992) - [j51]Terry Gaasterland, Parke Godfrey, Jack Minker:
An Overview of Cooperative Answering. J. Intell. Inf. Syst. 1(2): 123-157 (1992) - [j50]Terry Gaasterland, Parke Godfrey, Jack Minker:
Relaxation as a Platform for Cooperative Answering. J. Intell. Inf. Syst. 1(3/4): 293-321 (1992) - [c50]Zahidul A. Khandaker, José Alberto Fernández, Jack Minker:
A Tractable Class of Disjunctive Deductive Databases. Workshop on Deductive Databases, JICSLP 1992: 11-20 - [c49]José Alberto Fernández, Jack Minker:
Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50 - [c48]Zheng Lin, Jack Minker:
A Distributed Load Balancing Scheme for Parallel Logic Programming. ICPP (2) 1992: 66-73 - [c47]José Alberto Fernández, Jack Minker:
Disjunctive Deductive Databases. LPAR 1992: 332-356 - [c46]Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik:
A Cooperative Answering System. LPAR 1992: 478-480 - 1991
- [j49]Jorge Lobo, Arcot Rajasekar, Jack Minker:
Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. 86(1): 93-106 (1991) - [j48]Chitta Baral, Sarit Kraus, Jack Minker:
Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3(2): 208-220 (1991) - [c45]Jack Minker, Jorge Lobo, Arcot Rajasekar:
Circumscription and Disjunctive Logic Programming. Artificial and Mathematical Theory of Computation 1991: 281-304 - [c44]Jack Minker, Arcot Rajasekar, Jorge Lobo:
Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 613-639 - [c43]José Alberto Fernández, Jack Minker:
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. ICLP 1991: 660-675 - [c42]Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian:
Combining Knowledge Bases Consisting of First Order Theories. ISMIS 1991: 92-101 - [c41]Chitta Baral, Jorge Lobo, Jack Minker:
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468 - 1990
- [j47]Arcot Rajasekar, Jack Minker:
On Stratified Disjunctive Programs. Ann. Math. Artif. Intell. 1: 339-357 (1990) - [j46]Jack Minker, Arcot Rajasekar:
A Fixpoint Semantics for Disjunctive Logic Programs. J. Log. Program. 9(1): 45-74 (1990) - [j45]Upen S. Chakravarthy, John Grant, Jack Minker:
Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15(2): 162-207 (1990) - [c40]Chitta Baral, Jorge Lobo, Jack Minker:
Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116
1980 – 1989
- 1989
- [j44]Jack Minker:
Scientific Freedom and Human Rights of Computer Professionals - 1989. Commun. ACM 32(8): 957-974 (1989) - [j43]Arcot Rajasekar, Jorge Lobo, Jack Minker:
Weak Generalized Closed World Assumption. J. Autom. Reason. 5(3): 293-307 (1989) - [j42]John Grant, Jack Minker:
Deductive database theories. Knowl. Eng. Rev. 4(3): 267-304 (1989) - [c39]Jorge Lobo, Jack Minker, Arcot Rajasekar:
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP 1989: 255-267 - [c38]Arcot Rajasekar, Jorge Lobo, Jack Minker:
Skeptical Reasoning and Disjunctive Programs. KR 1989: 349-356 - [c37]Arcot Rajasekar, Jack Minker:
A Stratification Semantics for General Disjunctive Programs. NACLP 1989: 573-586 - [c36]Jack Minker:
Toward A Foundation of Disjunctive Logic Programming. NACLP 1989: 1215-1235 - 1988
- [j41]Jack Minker:
Perspectives in Deductive Databases. J. Log. Program. 5(1): 33-60 (1988) - [c35]Jack Minker, Arcot Rajasekar:
Procedural Interpretation of Non-Horn Logic Programs. CADE 1988: 278-293 - [c34]Jorge Lobo, Jack Minker:
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. 1988: 699-741 - [c33]Jorge Lobo, Jack Minker, Arcot Rajasekar:
Weak Completion Theory for Non-Horn Programs. ICLP/SLP 1988: 828-842 - [p2]Jack Minker:
Introduction. Foundations of Deductive Databases and Logic Programming. 1988: 1-16 - [p1]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 - [e5]Jack Minker:
Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0 [contents] - 1987
- [j40]Madhur Kohli, Mark E. Giuliano, Jack Minker:
An overview of the PRISM project. SIGARCH Comput. Archit. News 15(1): 35-42 (1987) - [j39]Jack Minker:
Human Rights: Some Perspectives. SIGMOD Rec. 16(1): 18-27 (1987) - [j38]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Response. ACM SIGPLAN Notices 22(6): 20-24 (1987) - [c32]Jack Minker:
Deductive Databases: An Overview of Some Alternative Theories. ISMIS 1987: 148-158 - [c31]Annie Gal, Jack Minker:
Informative and Cooperative Answers in Databases Using Integrity Constraints. Natural Language Understanding and Logic Programming Workshop 1987: 277-300 - [c30]Jack Minker:
Perspectives in Deductive Databases (Abstract). PODS 1987: 135 - 1986
- [j37]John Grant, Jack Minker:
Answering Queries in Indefinite Databases and the Null Value Problem. Adv. Comput. Res. 3: 247-267 (1986) - [j36]Donald Perlis, Jack Minker:
Completeness Results for Circumscription. Artif. Intell. 28(1): 29-42 (1986) - [j35]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and databases: a response. SIGACT News 18(2): 52-56 (1986) - [c29]Jack Minker, Donald Perlis, Krishnan Subramanian:
A Parallel Self-Modifying Default Reasoning System. AAAI 1986: 923-927 - [c28]Upen S. Chakravarthy, Jack Minker, John Grant:
Semantic Query Optimization: Additional Constraints and Control Strategies. Expert Database Conf. 1986: 345-379 - [c27]Upen S. Chakravarthy, Jack Minker:
Multiple Query Processing in Deductive Databases using Query Graphs. VLDB 1986: 384-391 - 1985
- [j34]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) - [j33]John Grant, Jack Minker:
Normalization and Axiomatization for Numerical Dependencies. Inf. Control. 65(1): 1-17 (1985) - [j32]Jack Minker, Donald Perlis:
Computing Protected Circumscription. J. Log. Program. 2(4): 235-249 (1985) - [j31]John Grant, Jack Minker:
Inferences for Numerical Dependencies. Theor. Comput. Sci. 41: 271-287 (1985) - [c26]Annie Gal, Jack Minker:
A Natural Language Database Interface That Provides Cooperative Answers. CAIA 1985: 352-357 - [c25]Simon Kasif, Jack Minker:
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. IJCAI 1985: 29-31 - 1984
- [j30]Jack Minker, Larry S. Davis:
Artificial Intelligence Research at the University of Maryland. AI Mag. 5(1): 59-63 (1984) - [j29]Jack Minker:
Alexander Lerner: A Biographical Sketch. AI Mag. 5(1): 79-80 (1984) - [j28]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185 (1984) - [c24]Jack Minker, Donald Perlis:
Applications of Protected Circumscription. CADE 1984: 414-425 - [c23]Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker:
Semantic Query Optimization in Expert Systems and Database Systems. Expert Database Workshop 1984: 659-674 - [c22]Jack Minker, Donald Perlis:
Protected Circumscription. NMR 1984: 337-343 - [e4]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. Advances in Data Base Theory, Plemum Press 1984, ISBN 0-306-41636-0 [contents] - 1983
- [j27]Jack Minker, Jean-Marie Nicolas:
On recursive axioms in deductive databases. Inf. Syst. 8(1): 1-13 (1983) - [c21]Madhur Kohli, Jack Minker:
Intelligent Control Using Integrity Constraints. AAAI 1983: 202-205 - [c20]Simon Kasif, Madhur Kohli, Jack Minker:
PRISM - A Parallel Inference System for Problem Solving. Logic Programming Workshop 1983: 123-152 - [c19]Madhur Kohli, Jack Minker:
Control of Logic Prosrams Using Integrity Constraints. Logic Programming Workshop 1983: 153-170 - [c18]Jack Minker:
Issues in Developing Expert Systems. Logic Programming Workshop 1983: 204-215 - [c17]Simon Kasif, Madhur Kohli, Jack Minker:
PRISM: A Parallel Inference System for Problem Solving. IJCAI 1983: 544-546 - 1982
- [j26]Jack Minker:
Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982. Commun. ACM 25(12): 888-894 (1982) - [j25]Upen S. Chakravarthy, Jack Minker:
Processing Multiple Queries in Database Systems. IEEE Database Eng. Bull. 5(3): 38-43 (1982) - [j24]John Grant, Jack Minker:
On optimizing the evaluation of a set of expressions. Int. J. Parallel Program. 11(3): 179-191 (1982) - [j23]Jack Minker, Guy Zanon:
An Extension to Linear Resolution with Selection Function. Inf. Process. Lett. 14(4): 191-194 (1982) - [c16]Jack Minker:
On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 - [c15]Norbert Eisinger, Simon Kasif, Jack Minker:
Logic Programming: A Parallel Approach. ICLP 1982: 71-77 - [c14]Upen S. Chakravarthy, Jack Minker, Duc Tran:
Interfacing Predicate Logic Languages and Relational Databases. ICLP 1982: 91-98 - [c13]Upen S. Chakravarthy, Simon Kasif, Madhur Kohli, Jack Minker, D. Cao:
Logic Programming on ZMOB: A Highly Parallel Machine. ICPP 1982: 347-349 - 1981
- [j22]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) - [c12]John Grant, Jack Minker:
Numerical Dependencies. XP2 Workshop on Relational Database Theory 1981 - [e3]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. Advances in Data Base Theory, Plemum Press 1981, ISBN 0-306-40629-2 [contents] - 1980
- [j21]Jack Minker, Rita G. Minker:
Optimization of Boolean Expressions-Historical Developments. IEEE Ann. Hist. Comput. 2(3): 227-238 (1980) - [j20]Alan R. Aronson, Barry E. Jacobs, Jack Minker:
A Note on Fuzzy Deduction. J. ACM 27(4): 599-603 (1980)
1970 – 1979
- 1979
- [c11]Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Background for Advances in Data Base Theory. Advances in Data Base Theory 1979: 3-21 - [c10]John Grant, Jack Minker:
Optimization in Deductive and Conventional Relational Database Systems. Advances in Data Base Theory 1979: 195-234 - 1978
- [j19]Jack Minker:
Binary relations, matrices and inference developments. Inf. Syst. 3(1): 37-47 (1978) - [j18]Jack Minker:
Opinion paper: Science, shcharansky, and the soviets. J. Am. Soc. Inf. Sci. 29(5): 219-224 (1978) - [j17]Jack Minker:
Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. 3(1): 1-31 (1978) - [c9]Bharat K. Bhargava, Stephen R. Kimbleton, Barbara H. Liskov, Jack Minker, Jeffrey D. Ullman:
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). ACM Annual Conference (1) 1978: 325 - [e2]Hervé Gallaire, Jack Minker:
Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France, 1977. Advances in Data Base Theory, Plemum Press 1978, ISBN 0-306-40060-X [contents] - 1977
- [j16]Jack Minker, Gerald A. Wilson:
A note on answer extraction in resolution-based systems. Int. J. Parallel Program. 6(3): 179-192 (1977) - [j15]Jack Minker:
Control structure of a pattern-directed search system. SIGART Newsl. 63: 7-14 (1977) - [j14]