Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6—10, 1999, and hosted by the University of Tbilisi. Forty—four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com­ mittee meeting was held via the Internet. Twenty—three papers were accepted. We would like to thank the many people wh...