• Jack Minker, Commencement Address to the Graduates of the College of Computers, Mathematics and Physical Sciences, University of Maryland, May 23, 2008.

    Web Accessibility

    
  • Jack Minker, Reflections on Logic Programming and Nonmonotonic Reasoning, International Conference on Logic Programming and Nonmonotonic Reasoning, Keynote Address, May 14, 2007.

    Web Accessibility

    
  • Jack Minker, Forming a Computer Science Center at the University of Maryland, Annals of the History of Computing, Annals of the History of Computing, Vol 29, January--March 2007, 49--64.

    Web Accessibility

    
  • John Grant Jack Minker, Logic and Knowledge Bases, Encyclopedia of Knowledge Management, Schwartz, D.G. (Ed.), 2005, 583-590.

    Web Accessibility

    
  • Jack Minker, In Memoriam --- Raymond Reiter, June 12, 1939 -- September 16, 2002 To appear in the Theory and Practice of Logic Programming, January 2003.

    Web Accessibility

    
  • John Grant Jack Minker, A Logic-Based Approach to Data Integration, Theory and Practice of Logic Programming, Vol 2(3), May 2002, 293-321.

    Web Accessibility

    
  • Jack Minker, Logic-Based Artificial Intelligence, Kluwer Academic Press, 606pp. 2000.

    Web Accessibility

    
  • John Grant Jack Minker, A Logic-Based Approach to Data Integration, CS-TR# 4179, UMIACS-TR# 2000-61 2000.

    Web Accessibility

    
  • [paper] Jack Minker, Historical Developments in Computers to the 1950s. Presented as part of the University of Maryland Distinguished Scholar/Teacher Lecture Series 1997/1998, April 8, 1998.

    Web Accessibility

    
  • Carolina Ruiz and Jack Minker, Combining Closed World Assumptions with Stable Negation. Fundamenta Informaticae. Vol. 32 pp. 163-181. 1997.

    Web Accessibility

    
  • Jose Alberto Fernandez, John Grant and Jack Minker, Model Theoretic Approach to View Updates in Deductive Databases, Journal of Automated Reasoning}, Vol. 17, No. 2, 171-197, 1996.

    Web Accessibility

    
  • Dietmar Seipel, Jack Minker, and Carolina Ruiz. A Characterization of the Partial Stable Models for Disjunctive Databases. In J. Maluszynski, editor. Proceedings of the Fourteenth International Logic Programming Symposium (ILSP'97). MIT Press, Cambriage, MA. October 1997.

    Web Accessibility

    
  • [paper] John Grant, Jarek Gryz, Jack Minker, and Louiqa Raschid , Semantic Query Optimization for Object Databases. In Proceedings of the 13th ICDE, Birmingham, UK, April 1997, pp. 444-454. (A preliminary version of the paper was presented at the Workshop on Constraints and Databases at CP'96, Cambridge, Massachusetts, August 1996.)

    Web Accessibility

    
  • [paper] John Grant, Jarek Gryz, Jack Minker, and Louiqa Raschid , Logic-Based Semantic Query Optimization for Object-Oriented Databases, TKDE 12(4): 529-547 (2000). Also, Technical Report (CS-TR-3623 and UMIACS-TR-96-25), University of Maryland, April 1996.

    Web Accessibility

    
  • [paper] Parke Godfrey, John Grant, Jarek Gryz, and Jack Minker, Integrity Constraints: Semantics and Applications. In Jan Chomicki and Gunter Saake, editors, Logics for Databases and Information Systems, Chapter 9, pp. 265-307. Kluwer, 1998.

    Web Accessibility

    
  • Jack Minker. Logic and Databases: a 20 Year Retrospective, Invited Keynote Address, Workshop on Logic in Databases, San Miniato, Italy, July 1996.

    Web Accessibility

    
  • Jack Minker and Carolina Ruiz. Mixing a Default Rule with Stable Negation. Proc. of the Fourth International Symposium on Artificial Intelligence and Mathematics. Fort Lauderdale, Florida, pages 122-125, Jan. 1996.

    Web Accessibility

    
  • [paper] Parke Godfrey, Jarek Gryz and Jack Minker, Semantic Query Optimization for Bottom-Up Evaluation. In the Proceedings of the Nineth International Symposium on Methodologies for Intelligent Systems (ISMIS), Zakopane, Poland, June 1996.

    TR: Technical Report (CS-TR-3558 and UMIACS-TR-95-109), Department of Computer Science and the University of Maryland Institute for Advanced Computer Studies, University of Maryland at College Park, November 1995.

    Web Accessibility

    
  • Dietmar Seipel, Jack Minker, and Carolina Ruiz. Model Generation and State Generation for Disjunctive Logic Programs. Journal of Logic Programming, volume 32, number 1, pages 48-69, July 1997.

    Web Accessibility

    
  • [paper] Jose Alberto Fernandez, Jarek Gryz and Jack Minker, Disjunctive Deductive Databases: Semantics, Updates and Architecture, In Proceedings of the 4th Bar-Ilan Symposium on Foundations of AI, M. Koppel E, Shamir (eds.), AAAI Press, 1996, pp. 256-274 (Invited Paper).

    Web Accessibility

    
  • Carolina Ruiz and Jack Minker, Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs, in Nonmonotonic Extensions of Logic Programming, edited by J. Dix, L.M. Pereira and T.C. Przymusinski. Lecture Notes in Computer Science 927. Springer-Verlag, pages 205-229, 1995.

    Web Accessibility

    
  • J.A. Fernandez, J. Minker and A. Yahya. Computing Perfect and Stable Models Using Ordered Model Trees, Computational Intelligence, 11(1):89-112, Feb. 1995.

    Web Accessibility

    
  • [paper] Jack Minker and Carolina Ruiz, Semantics for Disjunctive Logic Programs with Explicit and Default Negation, Fundamenta Informaticae, Anniversary Issue, edited by H. Rasiowa, volume 20, number 3/4, pages 145-192, 1994.

    Web Accessibility

    
  • [paper] Parke Godfrey, Jack Minker, and Lev Novik, An Architecture for a Cooperative Database System. Proceedings of the 1994 International Conference on Applications of Databases, Lecture Notes in Computer Science 819, Springer Verlag, Vadstena, Sweden, June, 1994.
    Invited paper.

    Web Accessibility

    
  • [paper] Adnan Yahya and Jack Minker, Representations for Disjunctive Deductive Databases, 1994.

    Web Accessibility

    
  • Jack Minker, An Overview of Nonmonotonic Reasoning and Logic Programming, Journal of Logic Programming, Vol. 17, No. 2, 3, \& 4, 95-126, Nov. 1993.

    Web Accessibility

    
  • [paper] Jack Minker and Carolina Ruiz, On Extended Disjunctive Logic Programs, Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems. (Invited Paper), Edited by J. Komorowski and Z.W. Ras, Lecture Notes in Artifical Intelligence, Springer-Verlag, pages 1-18, June 1993.

    Web Accessibility

    
  • J. Grant, J. Horty, J. Lobo, J. Minker. View Updates in Stratified Disjunctive Databases Journal Automated Reasoning, Vol. 11, March 1993, pp. 249-267., 1993

    Web Accessibility

    
  • [paper] Jose Alberto Fernandez and Jack Minker, Bottom-Up Computation of Perfect Models for Disjunctive Theories, Journal of Logic Programming, 1993. Submitted.
    Preliminary version presented at the Workshop on Disjunctive Logic Programs, International Logic Programming Symposium 1991, San Diego, California, 1993.

    Web Accessibility

    
  • [paper] Jose Alberto Fernandez, Jorge Lobo, Jack Minker, and V.S. Subrahmanian, Disjunctive LP + Integrity Constraints = Stable Model Semantics, Annals of Mathematics and Artificial Intelligence, 8(3-4):449-474, 1993.

    Web Accessibility

    
  • [paper] Adnan Yahya, Jose Alberto Fernandez, and Jack Minker, Ordered Model Trees: A normal Form for Disjunctive Deductive Databases, Technical Report UMIACS-TR-93-63 and CS-TR3103, University of Maryland Institute for Advance Computer Studies, College Park, MD 20742, July 1993. Submitted to the Journal of Automated Reasoning.

    Web Accessibility

    
  • [paper] Terry Gaasterland, Mark Giuliano, Anne Litcher, Yuan Liu, and Jack Minker, Using Integrity Constraints to Control Search in Knowledge Base Systems, International Journal of Expert Systems, pp. 447-487, Volume 6, Number 4, 1993.

    Web Accessibility

    
  • [paper] Shekhar Pradhan, Jack Minker, and V.S. Subrahmanian, Combining Databases with Prioritized Information, Computer Science Technical Report Series, University of Maryland at College Park, CS-TR-3116 and UMIACS-TR-93-75, August 1993.

    Web Accessibility

    
  • [paper] Terry Gaasterland, Parke Godfrey, Jack Minker, and Lev Novik, A Cooperative Answering System. In Proceedings of the Logic Programming and Automated Reasoning Conference, edited by Andrei Voronkov, Lecture Notes in Artificial Intelligence 624, Springer-Verlag, St. Petersburg, Russia, pages 478-480. July 1992.

    Web Accessibility

    
  • Jose Alberto Fernandez and Jack Minker, Disjunctive Deductive Databases, Proceedings of the Logic Programming and Automated Reasoning Conference, 1992.

    Web Accessibility

    
  • [paper] Terry Gaasterland, Parke Godfrey, Jack Minker, and Lev Novik, Cooperative Answers in Database Systems. In Proceedings of the Space Operations, Applications, and Research Conference, Houston, Texas, August 1992.

    Web Accessibility

    
  • [paper] Jose Alberto Fernandez and Jack Minker. Semantics of Disjunctive Databases, International Conference on Data Technologies, 1992.

    Web Accessibility

    
  • [paper] Terry Gaasterland, Parke Godfrey, and Jack Minker, Relaxation as a platform for cooperative answering. Journal of Intelligent Information Systems, 1:293-321, 1992.

    TR: Technical Report (CS-TR-2818 and UMIACS-TR-91-168), Department of Computer Science and the University of Maryland Institute for Advanced Computer Studies, University of Maryland at College Park, December 1991.

    Web Accessibility

    
  • [paper] Terry Gaasterland, Parke Godfrey and Jack Minker, An Overview of Cooperative Answering. Nonstandard Queries and Nonstandard Answers, edited by Robert Demolombe and Tomasz Imielinski, in series Studies in Logic and Computation 3, Clarendon Press, Oxford, pp. 1-40, 1994.

    Appears previously as:
    Terry Gaasterland, Parke Godfrey and Jack Minker, An Overview of Cooperative Answering. Journal of Intelligent Information Systems, Kluwer Academic Publishers, vol. 1, no. 2, pp. 123-157, 1992.
    Invited paper.

    Web Accessibility

    
  • [paper] Zahidul Khandaker, Jose Alberto Fernandez, and Jack Minker, A Tractable Class of Disjunctive Deductive Databases, Workshop on Deductive Databases, International Conference on Logic Programming, 1992.

    Web Accessibility

    
  • [paper] Jack Minker, Toward a Foundation of Disjunctive Logic Programming, Proceedings of the National Conference on Logic Programming, invited paper, 1989.

    Web Accessibility

    
  • [paper] Donald Perlis and Jack Minker, Completeness Results for Circumscription, Journal of Artificial Intelligence, 1986.

    Web Accessibility

    
  • [paper] Jack Minker and Donald Perlis, Computing Protected Circumscription, Journal of Logic Programming, 1985.

    Web Accessibility

    

    Web Accessibility