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.

Web Accessibility