Jack Minker - RankMe

153 papers A* 12A 5B 10C 6Journal 80Unranked 30

Year	Rank	Type	Title / Venue / Authors
2014	—	`ch.`	Logic and Databases: A History of Deductive Databases. Computational Logic Jack Minker, Dietmar Seipel, Carlo Zaniolo
2012	—	`conf`	To Vladimir Lifschitz on His 65th Birthday. Correct Reasoning Jack Minker
2011	—	`ch.`	Logic and Knowledge Bases. Encyclopedia of Knowledge Management John Grant, Jack Minker
2011	—	`conf`	Opening: Homage to Michael Gelfond on His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Jack Minker
2008	—	`ch.`	Deductive Databases. Wiley Encyclopedia of Computer Science and Engineering John Grant, Jack Minker
2007	J	`jnl`	Developing a Computer Science Department at the University of Maryland. IEEE Ann. Hist. Comput. Jack Minker
2007	J	`jnl`	Forming a Computer Science Center at the University of Maryland. IEEE Ann. Hist. Comput. Jack Minker
2003	J	`jnl`	In Memoriam: Raymond Reiter. AI Mag. Jack Minker
2003	J	`jnl`	In Memoriam: Raymond Reiter. Comput. Intell. Jack Minker
2002	J	`jnl`	A logic-based approach to data integration. Theory Pract. Log. Program. John Grant, Jack Minker
2002	—	`conf`	Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond Jack Minker, Dietmar Seipel
2001	J	`jnl`	A logic-based approach to data integration CoRR John Grant, Jack Minker
2001	J	`jnl`	Editorial (by the Editor in Chief). Theory Pract. Log. Program. Jack Minker
2000	J	`jnl`	Logic-Based Query Optimization for Object Databases. IEEE Trans. Knowl. Data Eng. John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid
1999	J	`jnl`	The Workshop on Logic-Based Artificial Intelligence. AI Mag. Jack Minker
1998	C	`conf`	An Overview of Cooperative Answering in Databases. FQAS Jack Minker
1998	—	`conf`	Integrity Constraints: Semantics and Applications. Logics for Databases and Information Systems Parke Godfrey, John Grant, Jarek Gryz, Jack Minker
1998	J	`jnl`	Logic Knowledge Bases With Two Default Rules. Ann. Math. Artif. Intell. Carolina Ruiz, Jack Minker
1997	—	`conf`	A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS Dietmar Seipel, Jack Minker, Carolina Ruiz
1997	J	`jnl`	Combining Closed World Assumptions with Stable Negation. Fundam. Informaticae Carolina Ruiz, Jack Minker
1997	J	`jnl`	Logic and Databases: Past, Present, and Future. AI Mag. Jack Minker
1997	J	`jnl`	Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. Dietmar Seipel, Jack Minker, Carolina Ruiz
1997	A*	`conf`	Semantic Query Optimization for Object Databases. ICDE John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid
1996	—	`conf`	Logic and Databases: A 20 Year Retrospective. Logic in Databases Jack Minker
1996	J	`jnl`	Model Theoretic Approach to View Updates in Deductive Databases. J. Autom. Reason. José Alberto Fernández, John Grant, Jack Minker
1996	C	`conf`	Semantic Query Optimization for Bottom-Up Evaluation. ISMIS Parke Godfrey, Jarek Gryz, Jack Minker
1996	J	`jnl`	Using Priorities to Combine Knowledge Bases. Int. J. Cooperative Inf. Syst. Shekhar Pradhan, Jack Minker
1995	J	`jnl`	Bottom-Up Compuation of Perfect Models for Disjunctive Theories. J. Log. Program. José Alberto Fernández, Jack Minker
1995	J	`jnl`	Combining Databases with Prioritized Information. J. Intell. Inf. Syst. Shekhar Pradhan, Jack Minker, V. S. Subrahmanian
1995	J	`jnl`	Computing Perfect and Stable Model Using Ordered Model Trees. Comput. Intell. José Alberto Fernández, Jack Minker, Adnan H. Yahya
1994	—	`conf`	An Architecture for a Cooperative Database System. ADB Parke Godfrey, Jack Minker, Lev Novik
1994	J	`jnl`	Combining Default Logic Databases. Int. J. Cooperative Inf. Syst. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1994	—	`conf`	Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. NMELP Carolina Ruiz, Jack Minker
1994	J	`jnl`	Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. J. Autom. Reason. Adnan H. Yahya, José Alberto Fernández, Jack Minker
1994	J	`jnl`	Overview of Disjunctive Logic Programming. Ann. Math. Artif. Intell. Jack Minker
1994	J	`jnl`	Query Evaluation in Partitoned Disjunctive Deductive Databases. Int. J. Cooperative Inf. Syst. Adnan H. Yahya, Jack Minker
1994	J	`jnl`	Semantics for Disjunctive Logic Programs with Explicit and Default Negation. Fundam. Informaticae Jack Minker, Carolina Ruiz
1993	J	`jnl`	An Overview of Nonmonotonic Reasoning and Logic Programming. J. Log. Program. Jack Minker
1993	J	`jnl`	Disjunctive LP + Integrity Constraints = Stable Model Semantics. Ann. Math. Artif. Intell. José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian
1993	C	`conf`	On Extended Disjunctive Logic Programs. ISMIS Jack Minker, Carolina Ruiz
1993	J	`jnl`	View Updates in Stratified Disjunctive Databases. J. Autom. Reason. John Grant, John F. Horty, Jorge Lobo, Jack Minker
1992	B	`conf`	A Cooperative Answering System. LPAR Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik
1992	—	`conf`	A Distributed Load Balancing Scheme for Parallel Logic Programming. ICPP (2) Zheng Lin, Jack Minker
1992	—	`conf`	A Tractable Class of Disjunctive Deductive Databases. Workshop on Deductive Databases, JICSLP Zahidul A. Khandaker, José Alberto Fernández, Jack Minker
1992	J	`jnl`	An Overview of Cooperative Answering. J. Intell. Inf. Syst. Terry Gaasterland, Parke Godfrey, Jack Minker
1992	J	`jnl`	Combining Knowledge Bases Consisting of First-Order Analysis. Comput. Intell. Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1992	B	`conf`	Disjunctive Deductive Databases. LPAR José Alberto Fernández, Jack Minker
1992	—	`book`	Foundations of disjunctive logic programming. Jorge Lobo, Jack Minker, Arcot Rajasekar
1992	J	`jnl`	Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. Chitta Baral, Jorge Lobo, Jack Minker
1992	J	`jnl`	Relaxation as a Platform for Cooperative Answering. J. Intell. Inf. Syst. Terry Gaasterland, Parke Godfrey, Jack Minker
1992	A	`conf`	Semantics of Disjunctive Deductive Databases. ICDT José Alberto Fernández, Jack Minker
1992	J	`jnl`	The Impact of Logic Programming on Databases. Commun. ACM John Grant, Jack Minker
1991	B	`conf`	Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. ICLP José Alberto Fernández, Jack Minker
1991	—	`conf`	Circumscription and Disjunctive Logic Programming. Artificial and Mathematical Theory of Computation Jack Minker, Jorge Lobo, Arcot Rajasekar
1991	C	`conf`	Combining Knowledge Bases Consisting of First Order Theories. ISMIS Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
1991	J	`jnl`	Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. Chitta Baral, Sarit Kraus, Jack Minker
1991	J	`jnl`	Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. Jorge Lobo, Arcot Rajasekar, Jack Minker
1991	—	`conf`	Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson Jack Minker, Arcot Rajasekar, Jorge Lobo
1991	C	`conf`	WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS Chitta Baral, Jorge Lobo, Jack Minker
1990	J	`jnl`	A Fixpoint Semantics for Disjunctive Logic Programs. J. Log. Program. Jack Minker, Arcot Rajasekar
1990	A	`conf`	Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE Chitta Baral, Jorge Lobo, Jack Minker
1990	J	`jnl`	Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. Upen S. Chakravarthy, John Grant, Jack Minker
1990	J	`jnl`	On Stratified Disjunctive Programs. Ann. Math. Artif. Intell. Arcot Rajasekar, Jack Minker
1989	—	`conf`	A Stratification Semantics for General Disjunctive Programs. NACLP Arcot Rajasekar, Jack Minker
1989	J	`jnl`	Deductive database theories. Knowl. Eng. Rev. John Grant, Jack Minker
1989	B	`conf`	Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP Jorge Lobo, Jack Minker, Arcot Rajasekar
1989	J	`jnl`	Scientific Freedom and Human Rights of Computer Professionals - 1989. Commun. ACM Jack Minker
1989	A*	`conf`	Skeptical Reasoning and Disjunctive Programs. KR Arcot Rajasekar, Jorge Lobo, Jack Minker
1989	—	`conf`	Toward A Foundation of Disjunctive Logic Programming. NACLP Jack Minker
1989	J	`jnl`	Weak Generalized Closed World Assumption. J. Autom. Reason. Arcot Rajasekar, Jorge Lobo, Jack Minker
1988	—	`conf`	A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. Jorge Lobo, Jack Minker
1988	—	`book`	Foundations of Deductive Databases and Logic Programming Jack Minker
1988	—	`ch.`	Foundations of Semantic Query Optimization for Deductive Databases Foundations of Deductive Databases and Logic Programming. Upen S. Chakravarthy, John Grant, Jack Minker
1988	—	`ch.`	Introduction Foundations of Deductive Databases and Logic Programming. Jack Minker
1988	J	`jnl`	Perspectives in Deductive Databases. J. Log. Program. Jack Minker
1988	A	`conf`	Procedural Interpretation of Non-Horn Logic Programs. CADE Jack Minker, Arcot Rajasekar
1988	—	`conf`	Weak Completion Theory for Non-Horn Programs. ICLP/SLP Jorge Lobo, Jack Minker, Arcot Rajasekar
1987	J	`jnl`	An overview of the PRISM project. SIGARCH Comput. Archit. News Madhur Kohli, Mark E. Giuliano, Jack Minker
1987	C	`conf`	Deductive Databases: An Overview of Some Alternative Theories. ISMIS Jack Minker
1987	J	`jnl`	Human Rights: Some Perspectives. SIGMOD Rec. Jack Minker
1987	—	`conf`	Informative and Cooperative Answers in Databases Using Integrity Constraints. Natural Language Understanding and Logic Programming Workshop Annie Gal, Jack Minker
1987	J	`jnl`	Logic and Databases: A Response. ACM SIGPLAN Notices Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1987	A*	`conf`	Perspectives in Deductive Databases (Abstract). PODS Jack Minker
1986	A*	`conf`	A Parallel Self-Modifying Default Reasoning System. AAAI Jack Minker, Donald Perlis, Krishnan Subramanian
1986	J	`jnl`	Answering Queries in Indefinite Databases and the Null Value Problem. Adv. Comput. Res. John Grant, Jack Minker
1986	J	`jnl`	Completeness Results for Circumscription. Artif. Intell. Donald Perlis, Jack Minker
1986	J	`jnl`	Logic and databases: a response. SIGACT News Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1986	A*	`conf`	Multiple Query Processing in Deductive Databases using Query Graphs. VLDB Upen S. Chakravarthy, Jack Minker
1986	—	`conf`	Semantic Query Optimization: Additional Constraints and Control Strategies. Expert Database Conf. Upen S. Chakravarthy, Jack Minker, John Grant
1985	—	`conf`	A Natural Language Database Interface That Provides Cooperative Answers. CAIA Annie Gal, Jack Minker
1985	J	`jnl`	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 Jack Minker
1985	J	`jnl`	Computing Protected Circumscription. J. Log. Program. Jack Minker, Donald Perlis
1985	J	`jnl`	Inferences for Numerical Dependencies. Theor. Comput. Sci. John Grant, Jack Minker
1985	J	`jnl`	Normalization and Axiomatization for Numerical Dependencies Inf. Control. John Grant, Jack Minker
1985	A*	`conf`	The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. IJCAI Simon Kasif, Jack Minker
1984	—	`ed.`	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 Hervé Gallaire, Jean-Marie Nicolas, Jack Minker
1984	J	`jnl`	Alexander Lerner: A Biographical Sketch. AI Mag. Jack Minker
1984	A	`conf`	Applications of Protected Circumscription. CADE Jack Minker, Donald Perlis
1984	J	`jnl`	Artificial Intelligence Research at the University of Maryland. AI Mag. Jack Minker, Larry S. Davis
1984	J	`jnl`	Logic and Databases: A Deductive Approach. ACM Comput. Surv. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1984	—	`conf`	Protected Circumscription. NMR Jack Minker, Donald Perlis
1984	—	`conf`	Semantic Query Optimization in Expert Systems and Database Systems. Expert Database Workshop Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker
1983	B	`conf`	Control of Logic Prosrams Using Integrity Constraints. Logic Programming Workshop Madhur Kohli, Jack Minker
1983	A*	`conf`	Intelligent Control Using Integrity Constraints. AAAI Madhur Kohli, Jack Minker
1983	B	`conf`	Issues in Developing Expert Systems. Logic Programming Workshop Jack Minker
1983	J	`jnl`	On recursive axioms in deductive databases. Inf. Syst. Jack Minker, Jean-Marie Nicolas
1983	B	`conf`	PRISM - A Parallel Inference System for Problem Solving. Logic Programming Workshop Simon Kasif, Madhur Kohli, Jack Minker
1983	A*	`conf`	PRISM: A Parallel Inference System for Problem Solving. IJCAI Simon Kasif, Madhur Kohli, Jack Minker
1982	J	`jnl`	An Extension to Linear Resolution with Selection Function. Inf. Process. Lett. Jack Minker, Guy Zanon
1982	J	`jnl`	Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982. Commun. ACM Jack Minker
1982	B	`conf`	Interfacing Predicate Logic Languages and Relational Databases. ICLP Upen S. Chakravarthy, Jack Minker, Duc Tran
1982	B	`conf`	Logic Programming on ZMOB: A Highly Parallel Machine. ICPP Upen S. Chakravarthy, Simon Kasif, Madhur Kohli, Jack Minker, D. Cao
1982	B	`conf`	Logic Programming: A Parallel Approach. ICLP Norbert Eisinger, Simon Kasif, Jack Minker
1982	A	`conf`	On Indefinite Databases and the Closed World Assumption. CADE Jack Minker
1982	J	`jnl`	On optimizing the evaluation of a set of expressions. Int. J. Parallel Program. John Grant, Jack Minker
1982	J	`jnl`	Processing Multiple Queries in Database Systems. IEEE Database Eng. Bull. Upen S. Chakravarthy, Jack Minker
1981	—	`ed.`	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 Hervé Gallaire, Jean-Marie Nicolas, Jack Minker
1981	J	`jnl`	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 Jack Minker
1981	—	`conf`	Numerical Dependencies. XP2 Workshop on Relational Database Theory John Grant, Jack Minker
1980	J	`jnl`	A Note on Fuzzy Deduction. J. ACM Alan R. Aronson, Barry E. Jacobs, Jack Minker
1980	J	`jnl`	Optimization of Boolean Expressions-Historical Developments. IEEE Ann. Hist. Comput. Jack Minker, Rita G. Minker
1979	—	`conf`	Background for Advances in Data Base Theory. Advances in Data Base Theory Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1979	—	`conf`	Optimization in Deductive and Conventional Relational Database Systems. Advances in Data Base Theory John Grant, Jack Minker
1978	J	`jnl`	Binary relations, matrices and inference developments. Inf. Syst. Jack Minker
1978	—	`conf`	Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). ACM Annual Conference (1) Bharat K. Bhargava, Stephen R. Kimbleton, Barbara H. Liskov, Jack Minker, Jeffrey D. Ullman
1978	—	`ed.`	Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France, 1977. Hervé Gallaire, Jack Minker
1978	J	`jnl`	Opinion paper: Science, shcharansky, and the soviets. J. Am. Soc. Inf. Sci. Jack Minker
1978	J	`jnl`	Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. Jack Minker
1977	J	`jnl`	A note on answer extraction in resolution-based systems. Int. J. Parallel Program. Jack Minker, Gerald A. Wilson
1977	—	`conf`	An Experimental Relational Data Base System Based on Logic. Logic and Data Bases Jack Minker
1977	—	`conf`	An Overview and Introduction to Logic and Data Bases. Logic and Data Bases Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
1977	J	`jnl`	Control structure of a pattern-directed search system. SIGART Newsl. Jack Minker
1977	J	`jnl`	Information Storage and Retrieval, A Survey and Functional Description. SIGIR Forum Jack Minker
1977	A*	`conf`	The Use of a Semantic Network in a Deductive Question-Answering System. IJCAI James R. McSkimin, Jack Minker
1976	J	`jnl`	Resolution, Refinements, and Search Strategies: A Comparative Study. IEEE Trans. Computers Gerald A. Wilson, Jack Minker
1975	—	`conf`	Performing Inferences over Relation Data Bases. SIGMOD Conference Jack Minker
1975	J	`jnl`	Pi-Representation: A Clause Representation for Parallel Search. Artif. Intell. Daniel H. Fishman, Jack Minker
1975	J	`jnl`	State-Space, Problem-Reduction, and Theorem Proving-Some Relationships. Commun. ACM Gordon J. van der Brug, Jack Minker
1974	J	`jnl`	MRPPS - An interactive refutation proof procedure system for question-answering. Int. J. Parallel Program. Jack Minker, James R. McSkimin, Daniel H. Fishman
1974	J	`jnl`	Representations of the language recognition problem for a theorem prover. Int. J. Parallel Program. Jack Minker, Gordon J. van der Brug
1974	J	`jnl`	The Earley Algorithm as a Problem Representation. Inf. Process. Lett. Jack Minker, Gordon J. van der Brug
1973	J	`jnl`	Document retrieval experiments using cluster analysis. J. Am. Soc. Inf. Sci. Jack Minker, Eero Peltola, Gerald A. Wilson
1973	J	`jnl`	The Q Artif. Intell. Jack Minker, Daniel H. Fishman, James R. McSkimin
1973	A*	`conf`	The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System. IJCAI Jack Minker, Daniel H. Fishman, James R. McSkimin
1972	J	`jnl`	An evaluation of query expansion by the addition of clustered terms for a document retrieval system. Inf. Storage Retr. Jack Minker, Gerald A. Wilson, Barbara H. Zimmerman
1971	A*	`ed.`	ACM SIGIR Information Storage and Retrieval Symposium, College Park, Maryland, USA, April 1-2, 1971, Proceeding Jack Minker, Sam Rosenfeld
1971	A*	`conf`	Introduction and Perspectives for the 1971 ACM Information Storage and Retrieval Symposium. SIGIR Jack Minker, Sam Rosenfeld
1970	J	`jnl`	An Analysis of Some Graph Theoretical Cluster Techniques. J. ACM J. Gary Augustson, Jack Minker
1970	J	`jnl`	Storage Requirements for Information Handling Centers. J. ACM Herbert M. Gurk, Jack Minker
1966	J	`jnl`	A study of the utility of a hybrid associative processor. Commun. ACM James A. Dugan, Robert S. Green, Jack Minker, Warren E. Shindle
1966	—	`conf`	A study of the utility of associative memory processors. ACM National Conference James A. Dugan, Robert S. Green, Jack Minker, Warren E. Shindle
1961	J	`jnl`	The Design and Simulation of an Information Processing System. J. ACM Herbert M. Gurk, Jack Minker
1960	—	`conf`	A multi-level file structure for information processing. IRE-AIEE-ACM Computer Conference (Western) L. Miller, Jack Minker, W. G. Reed, Warren E. Shindle