Content-Length: 14295
Content-Type: text/html
Jack Minker
Jack Minker
Email:
minker@cs.umd.edu
Current Position:
Professor,
Department of Computer Science,
UMIACS, University of Maryland.
Research Interests:
Artificial intelligence,
Logic Programming
Research group:
PRISM
Current Research Projects:
Courses:
Additional information
Papers available on-line:
-
Carolina Ruiz and
Jack Minker,
Combining Closed World Assumptions with Stable Negation.
To appear in Fundamenta Informaticae.
-
Jack Minker.
Logic and Databases: a 20 Year Retrospective,
Invited Keynote Address,
Workshop on Logic in Databases,
San Miniato, Italy,
July 1996.
-
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.
-
Parke Godfrey,
Jarek Gryz and
Jack Minker,
Semantic Query Optimization for Bottom-Up Evaluation.
In the Proceedings of the 9th
International Symposium on Methodologies for Intelligent Systems
(ISMIS), Zakopane, Poland, June 1996.
-
Dietmar Seipel,
Jack Minker,
and
Carolina Ruiz.
Model Generation and State Generation for Disjunctive Logic Programs.
To appear in the Journal of Logic Programming.
-
Jose Alberto Fernandez,
Jarek Gryz and
Jack Minker,
Disjunctive Deductive Databases: Semantics, Updates and Architecture,
Invited Paper at BISFAI, 1995.
-
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.
-
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.
-
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.
-
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, Springer Verlag,
Vadstena, Sweden, June, 1994.
(Invited paper.)
-
Adnan Yahya and
Jack Minker,
Representations for Disjunctive Deductive Databases,
1994.
-
Jack Minker,
An Overview of Nonmonotonic Reasoning and Logic Programming,
Workshop on Logic Programming and Non-monotonic Reasoning,
1993.
-
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.
-
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
-
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.
-
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.
-
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.
-
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.
-
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.
-
Terry Gaasterland,
Parke Godfrey,
Jack Minker, and
Lev Novik,
A Cooperative Answering System,
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.
-
Jose Alberto Fernandez and
Jack Minker,
Disjunctive Deductive Databases,
Proceedings of the Logic Programming and Automated Reasoning Conference,
1992.
-
Terry Gaasterland,
Parke Godfrey,
Jack Minker, and
Lev Novik,
Cooperative Answers in Database Systems,
Proceedings of the Space Operations, Applications, and Research Conference,
Houston, Texas, August 1992.
-
Jose Alberto Fernandez and
Jack Minker.
Semantics of Disjunctive Databases,
International Conference on Data Technologies,
1992.
-
Terry Gaasterland,
Parke Godfrey, and
Jack Minker,
Relaxation as a platform for cooperative answering,
Journal of Intelligent Information Systems,
1:293-321, 1992.
-
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.)
Also appears as:
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.
-
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.
-
Jack Minker,
Toward a Foundation of Disjunctive Logic Programming,
Proceedings of the National Conference on Logic Programming,
invited paper,
1989.
-
Donald Perlis and
Jack Minker,
Completeness Results for Circumscription,
Journal of Artificial Intelligence, 1986.
-
Jack Minker and
Donald Perlis,
Computing Protected Circumscription,
Journal of Logic Programming,
1985.
Back-links
Last modified: Fri Aug 16 15:52:42 1996