minker@MIMSY.UMD.EDU.UUCP (05/13/86)
************************************************************************ UNIVERSITY OF MARYLAND INSTITUTE FOR ADVANCED COMPUTER STUDIES UNIVERSITY OF MARYLAND DEPARTMENT OF COMPUTER SCIENCE and NATIONAL SCIENCE FOUNDATION are co-sponsoring an invited workshop on FOUNDATIONS OF DEDUCTIVE DATABASES AND LOGIC PROGRAMMING DATE: August 18-22, 1986 PLACE: Washington, DC **************************************************************************** Professor Jack Minker, Department of Computer Sci- ence, University of Maryland has received a grant from the NSF to conduct the above workshop. The workshop is also being supported by University of Maryland Institute for Advanced Computer Studies and Department of Computer Sci- ence. Its purpose is to bring together leading researchers in deductive databases and logic programming to discuss theoretical and practical issues. The attendance at this workshop is by invitation only, but a limited amount of funds is available to support faculty and students who are working in the area and are interested in attending. Faculty and students must send a brief statement of their research interests relative to the workshop and a letter specifying the amount of funds needed for transportation, housing and meals, and the number of days they intend to be at the workshop. Students must also send a letter of recom- mendation from a faculty member and specify the degree for which they are studying. This information should be sent by May 30, 1986 to: Ms. Johanna Weinstein UMIACS Building #094 University of Maryland College Park, MD 20742 (301) 454-4526 johanna@alv.umd.edu PRELIMINARY TITLES FOUNDATIONS OF DEDUCTIVE DATABASES AND LoGIC PROGRAMMING 1. Apt, K.R., "Non-monotonic Reasoning in Logic Program- ming" 2. Bancilhon, Francois, "Performance Comparisons of Recursive Query Evaluation Strategies" 3. Blair,Howard A., "Some Aspects of the Structure of the Herbrand Gap" 4. Bowen, Ken, "Foundations of Meta-PROLOG" 5. Bowen, Ken, "Interfacing Meta-PROLOG and Large Data- bases" 6. Gallier, Jean H.and Raatz, Stan, " A Refutation Method for Horn Clauses with Equality and its Applica- tions to Logic Programming" 7. Henschen, Larry, " Compiling the GCWA in Indefinite Databases" 8. Henschen, Larry, "Functions in First-Order Databases" 9. Imielinski, Tomasz, "Query Processing in Deductive Databases with Incomplete Information" 10. Imielinski,Tomasz, "Transforming Logical Rules by Rela- tional Algebra Expressions" 11. Jaffar, Joxan, Lassez, Jean-Louis and Maher, Michael J., "Prolog II as an instance of the Logic Programming Language Scheme" 12. Kanellakis,Paris C., "Parallel Algorithms for Term Matching" 13. Sadri, Fariba and Kowalski, Robert, "An adaption of SL-resolution" 14. Lassez, J.L., Maher, M. and Marriott, K., "Unifica- tion Revisited" 15. Lifschitz, Vladimir, "On the Declarative Semantics of Logic Programming with Negation" 16. Maher, Michael J., "Equivalences of Logic Programs" 17. Maier, David, "Logic for Object-Oriented Databases" 18. Marriott, Kim and Lassez, Jean-Louis, "Implicit and Explicit Representations of Negative Information" 19. Martelli, M. and Barbuti, R., "Programming in a Gen- erally Functional Style to Design Logic Data Bases" 20. Minker, Jack, Chakravarthy, U.S. and Grant, John, "Foundations of Semantic Query Optimization Deductive Databases" 21. Mukai, Kuniaki, "Anadic Tuples in Prolog" 22. Naish, Lee, Thom, James A. and Ramamohanarao, Kotagiri, "A Superjoin Algorithm for Deductive Databases" 23. Naqvi, Shamim A., "Negation in Almost-First-Order Data- bases" 24. Porto, Antonio, "Semantic Unification for Knowledge Base Deduction" 25. Sagiv, Yehoshua, "Optimization of Logical Queries" 26. Shepherdson, John C., "Negation in Logic Programming" 27. Sterling, Leon, "Meta-Interpreters: Flavors-style Logic Programming?" 28. Topor, Rodney, "Domain Independent Databases" 29. van Emden, M.H., "Amalgamating Functional and Rela- tional Programming" 30. van Gelder, Allen, "Negation as Failure Using Tight Derivations for General Logic Programs" 31. Warren, David S., "Towards a Logical Theory of Database Update" 32. Zaniolo, Carlo, Sacca, M., et al., "Safety and Compila- tion of Recursive Queries"