Logic Programming and Automated Reasoning

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 he...