CURRICULUM VITAE (not a full
version)
5 YEAR PERIOD 1987 - 1992
Jack Minker
Professor Department of Computer Science
University of Maryland
I. Education
BA (cum laude with honors in Mathematics - major, & 1949
Education - minor), Brooklyn College, New York
MS Mathematics - University of Wisconsin & 1950
PhD Mathematics - University of Pennsylvania & 1959
II. Publications
a. Books
- 1. Minker, J.(Ed.)
Foundations of Deductive Databases and Logic Programming,
Morgan Kaufmann Publishers, Los Altos, CA., 1988.
- 2. Lobo, J., Minker, J. and Rajasekar, A., Foundations of
Disjunctive Logic Programming, MIT Press, Spring 1992.
b. Book Chapters
- 1. Gal, A. and Minker, J., ``Informative and cooperative
answers in databases
using integrity constraints,'' In:
Natural Language Understanding & Logic Programming.
(Dahl, V. and St. Dizier, P., Eds.) North Holland Publications, 1988,
277-300.
- 2. Gal, A. and Minker, J., ``Producing cooperative answer in
deductive databases,'' In: Logic and Logic Grammer for Language
Processing (St. Dizier P. and Szpakowicz S. Eds.) L.S. Harvard Ltd. 1990,
223-254.
- 3. Grant, J. and Minker, J., ``Integrity constraints in knowledge
based systems,'' In: Knowledge Engineering, Vol 1 and 2., 1-25,
H. Adeli (Editor), Mcgraw-Hill Publishers, 1990, 1-25.
- 4. Lobo, J., Minker, J. and Rajasekar, A., ``Theory of disjunctive logic
programming,'' Computational Logic: Essays in Honor of J. Alan Robinson,
(Edited by Jean-Louis Lassez), MIT Press, 612-639, 1991.
- 5. Lobo, J. Minker, J. and Rajasekar, A., ``On general disjunctive logic
programs,'' Intelligent Systems (Editors Z.W. Ras and M. Zemankova),
Ellis Horwood Ltd., 170-199, 1991.
- 6. Lobo, J., Minker, J. and Rajasekar, A., ``Circumscription and
disjunctive logic programming,'' Invited paper in Honor of John McCarthy's
birthday Artificial Intelligence and
Mathematical Theory of Computation
Festschift, V. Lifschitz (ed.) Academic Press, 281-304, Sept. 1991.
c. Journal Articles
- 2. Minker, J., ``Perspectives in deductive databases,''
(invited paper),
Journal of Logic Programming, (also invited lecture,
Principles of Database Systems, March 1987) vol. 5, 1988, 33-60.
- 3. Minker, J. and Rajasekar, A., ``A fixpoint semantics for
disjunctive logic programming,''
Journal of Logic Programming, Vol. 9, No. 1, North-Holland Pub.,
July 1990, 45-74.
- 4. Chakravarthy, U.S., Grant, J. and Minker, J., ``Logic based
aproach to semantic query optimization,''
ACM Transactions on Database Systems, Vol. 15, No. 2, June 1990, 162-207.
- 5. Lobo, J., Minker, J. and Rajasekar, A., ``Weak generalized closed
world assumption,'' Journal of Automated Reasoning 5,
Kluwer Academic Publishers, Netherlands, 1989, 293-307.
- 6. Grant, J. and Minker, J., ``Deductive database theories,'' In:
The Knowledge Engineering Review, Vol. 4: 4, 1989, 267-304.
- 7. Baral, C., Kraus, S. and Minker, J., ``Combining multiple knowledge
bases,'' IEEE Transactions on Knowledge and
Data Engineering, Vol. 3, No. 2,
June 1991, 208-220.
- 8. Minker, J. and Rajasekar, A., ``On stratified disjunctive programs,''
Annals of Mathematics and Artificial Intelligence, Vol. 1, No. 1-4,
M.C. Golumbic, P.L. Hammer, P. Hansen, T. Ibaraki (Editors)
J.C. Baltzer AG Scientific Publishing Company, Basel-Switzerland,
Sept. 1990, 339-357.
- 9. Durand, I., Giuliano, M., Kohli, M. and Minker, J., ``PRISM:
a testbed
for parallel control,'' In: Parallel Algorithms for Machine Intelligence
and Vision (Editors V. Kumar, P.S. Gopalakrishnan and L. N. Kanal)
Springer-Verlag 1990), 182-231.
- 10. Baral, C., Lobo, J. and Minker, J., ``Generalized disjunctive
well-founded semantics for logic programs,'' Annals of Math and
Artificial Intelligence
Vol. 5, No. 2-4, 89-131, May 1992.
- 11. Grant, J. and Minker, J., ``Deductive database systems,''
Encyclopedia of Artificial Intelligence (Editor, S. Shapiro), Second edition,
Volume 1, 320-329, 1992.
- 12. Grant, J. and Minker, J., ``The impact of logic programming on
databases,'' Communication of the Association for Computing Machinery
Vol. 35, No. 3., 66-81, March 1992.
- 13. Baral, C., Kraus, S., Minker, J. and Subrahmanian, V.S., ``Combining
knowledge bases consisting of first order theories'', Computational
Intelligence, Vol. 8, No. 1, 45-71, 1992.
- 14. Gaasterland, T., Giuliano, M. Litcher, A., Liu, Y. and Minker, J.,
``Using integrity constraints to control search in knowledge base systems,''
International Journal of Expert Systems: Research and Applications,
1992 (to appear).
- 15. Gaasterland, T., Godfrey, P. and Minker, J., ``Relaxation as a
platform for cooperative answering,'' Journal of Intelligent
Information Systems, 1992 (to appear).
- 16. Gaasterland, T., Godfrey, P. and Minker, J., ``An overview of cooperative answering,'' Journal of Intelligent Information
Systems, (invited paper, to appear) 1992.
- 17. Fernandez, J., Lobo, J., Minker, J. and Subrahmanian, V.S.,
``Disjunctive lp + integrity constraints = stable model semantics,''
2nd International Symposium on Artificial and Mathematics,
Fort Lauderdale, FL., Jan. 1992.
An extended version is appeared in the Annals of Mathematics and
Artificial Intelligence, 8, (3-4), 1993.
- 18. Fernandez, J. and Minker, J.``Theory and algorithms for
disjunctive deductive databases,'' Invited paper for the Russian journal
of computing, Programmirovanie Journal 1993.
- 19. Fernandez, J., Minker, J. and Yahya, A. ``Computing Perfect
and Stable models Using Ordered Model Trees'', submitted to the
Journal of Computational Intelligence, 1993.
- 20. Fernandez, J. and Minker, J.``Bottom-up Computation of
Perfect Models for Disjunctive Theories,'' The Journal of
Logic Programming, 1993.
- 21. Fernandez, J., Minker, J. and Yahya, A. ``Ordered Model Trees:
A Normal Form for Disjunctive Deductive Databases'' submitted
to the Journal of Automated Reasoning, 1993.
- 22. Minker, J. and Ruiz, C.``Semantics for Disjunctive
Logic Programs with Explicit and Default Negation'',
Special Issue of Fundamenta Informaticae, Ed. Rasiowa, H.
(to appear), 1993.
d. Conference Proceedings
- 1. Gal, A. and Minker, J., ``Greater cooperation between
database and User:
integrity constraints provide and answer,'' Proceedings 2nd
International Workshop on Natural Understanding and Logic Programming,
Vancouver - BC - , August 1987.
- 2. Minker, J., ``Deductive databases: an overview of some alternative
theories,'' (invited paper) Proc. 2nd International Symp. on
Methodologies for Intelligent Systems,
North Carolina
(Ras, Z. and Zemankova, M.
Eds.) October 1987, 148-158.
- 3. Lobo, J. and Minker, J., ``A metaprogramming approach
to semantically optimize
queries in deductive databases,'' The Second International
Conference on Expert Database Systems, April 1988, 387-420.
- 4. Minker, J. and Rajasekar, A., ``Procedural
interpretation of non-Horn
logic programs'' In: 9th International Conference
on Automated Deduction (E. Lusk and R. Overbeek, Eds.),
Springer-Verlag, New York, May 1988, 278-293.
- 5. Lobo, J. and Rajasekar, A., ``Weak completion theory
for non-Horn logic programs,'' Proceedings Fifth
International Symposium on
Logic Programming. 1988, 828-842.
- 6. Lobo, J., Minker, J. and Rajasekar, A., ``Extending the
semantics of logic programs to disjunctive logic programs,''
International Conference on Logic Programming, Lisbon, Portugal,
June 1989, 255-267.
- 7. Lobo, J., Minker, J. and Rajasekar, A., ``Skeptical reasoning
and disjunctive programs,'' First International Conference
on Principles of Knowledge Representation and Reasoning.
Toronto, Canada, May 1989, 349-356.
- 8. Minker, J. and Rajasekar, A., ``A stratification semantics for
general disjunctive programs,'' (invited paper) Proceedings of
the North American Conference on Logic Programming,, Overbeek
(Editors), MIT Press, 573-586, 1989.
- 9. Minker, J., ``Toward a foundation of disjunctive logic
programming,''
(Invited Banquet Address) Proceedings of the
North American Conference on
Logic Programming, Ewing L. Lusk and Ross A.
Overbeek (Editors), MIT Press,
1215-1235, 1989.
- 10. Minker, J. and Rajasekar, A., ``Disjunctive logic programming,''
Proceedings of the 4th International Symposium on Methodologies for
Intelligence Systems (ISMIS), 381-394, 1989 (invited paper).
- 11. Baral, C., Lobo, J. and Minker, J.``Generalized well-founded
semantics for logic programs,'' 10th International Conference
on Automated Deduction, West Germany, pp 102-116, July 1990.
- 12. Gaasterland, T., Minker, J. and Rajasekar, R., ``Knowledge
base systems a
deductive database approach,'' AAAI Workshop on Knowledge
Base Management
Systems, Boston, MA, July 1990.
- 13. Baral, C., Lobo, J. and Minker, J.
``Generalized disjunctive well-founded
semantics for logic programs: procedural semantics,''
Methodologies for
Intelligent Systems, 5, North-Holland Pub. (Editors: Z. W. Ras, M.
Zemankova & M.L. Emrich) 456-464, Knoxville, Tennessee, Oct. 1990.
- 14. Baral, C., Lobo, J. and Minker, J.``Generalized disjunctive
well-founded semantics for logic programs: declarative semantics,''
Methodologies for Intelligent Systems, 5, North-Holland Pub. (Editors:
Z.W. Ras, M. Zemankova & M.L. Emrich) 465-473,
Knoxville, Tennesse, Oct. 1990.
- 15. Minker, J. and V.S. Subrahmanian., ``Completion semantics for general
and disjunctive logic programs,'' Methodologies for Intelligent Systems,
5, North-Holland Pub. (Editors: Z.W. Ras, M. Zemankova & M. L. Emrich)
545-552, Knoxville, Tennessee, Oct. 1990.
- 16. Gaasterland, T., Minker, J. and Rajasekar,
A., ``Deductive database systems
and knowledge base systems,'' In Proceedings of VIA'90, (Invited
Paper) Barcelona, Oct. 2, 1990.
- 17. Minker, J., Gaasterland, T. and Godfrey, P., ``Relaxation as a
platform for cooperative answering,'' International
Workshop on Non-Standard
Answers and Non-Standard Queries, Toulouse, France, July 1-3, 1991.
- 18. Baral, C., Kraus, S., Minker, J. and Subrahmanian, V.S.,
``Combining and updating default theories: preliminary report,'' Bar-Ilan
Symposium on the Foundations of Artificial Intelligence (BISFAI-91), Ramat
Gan, Israel, June 16-19, 1991.
- 19. Baral, C., Kraus, S. and Minker, J.,
``A semantics for negation in normal disjunctive logic
programs,'' 6th International Symposium on Methodologies
for Intelligent
Systems (ISMIS), Lecture Notes in Artificial Intelligence, Z.W. Ras and M.
Zemankova (Eds.), 459-468, Charlotte, NC, 1991.
- 20. Baral, C., Kraus, S., Minker, J. and V. Subrahmanian ``Combining
knowledge bases consisting of
first order theories,'' 6th International Symposium on Methodologies for
Intelligent Systems (ISMIS'91), Lecture Notes in Artificial Intelligence,
Z.W. Ras and M. zemankova (Eds.),
92-101, Charlotte, NC, 1991.
- 21. Fernandez, J., Minker, J. and Subrahmanian, V.S., ``Computing
Perfect
models in deductive databases,'' International
Logic Programming Symposium Workshop on Disjunctive Logic Programming,
San Diego, CA, Submitted for Publication AMAI, 1991.
- 22. Fernandez, J. and Minker, J., ``Bottom-up evaluation
of hierarchical disjunctive deductive databases,'' Proceedings of
the 8th International Conference on
Logic Programming, 660-675, Paris, June 91.
- 23. Fernandez, J., Lobo, J., Minker, J. and Subrahmanian, V.S.,
``Disjunctive lp + integrity constraints = stable model semantics,'' 2nd
International Symposium on Artificial Intelligence and Mathematics, Fort
Lauderdale, FL., Jan. 1992, Annals of Mathematics and Artificial
Intelligence, (to appear).
- 24. Grant, J., Horty, J. Lobo, J. and Minker, J., ``Updates in
disjunctive deductive databases,'' Second International Workshop in Artificial
Intelligence and Mathematics, Fort Lauderdale, FL., January 1992.
- 25. Fernandez, J. and Minker, J.``Disjunctive deductive
databases,'' Invited paper, Proc. of the Conference on Logic
Programming and Automated Reasoning, St. Petersburg, Russia,
Springer-Verlag,
332-352, July 1992.
- 26. Fernandez, J. and Minker, J.``Semantics of disjuntive
deductive databases,'' Proceedings of the International
Conference on Database Theory Invited paper, 1992 (to appear).
- 27. Minker, J. and Ruiz, C.``On Extended Disjunctive
Logic Programs,'' Proceedings of the Seventh International
Symposium on Methodologies for Intelligent Systems. (Invited Paper),
Ed. Komorowski, J. and Ras, Z.W. Lecture Notes in AI.
Springer-Verlag, 1-18, June 1993.