Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

این جلد شامل مقالات ارائه شده در ششمین کنفرانس بین المللی منطق برای برنامه نویسی و استدلال خودکار (LPAR'99) است که در تفلیس، گرجستان، 6 تا 10 سپتامبر 1999، و به میزبانی دانشگاه تفلیس برگزار شد. چهل و چهار مقاله به LPAR'99 ارسال شد. هر یک از مطالب ارسالی توسط سه عضو کمیته برنامه بررسی شد و یک جلسه کمیته برنامه الکترونیکی از طریق اینترنت برگزار شد. بیست و سه مقاله پذیرفته شد. مایلیم از بسیاری از افرادی که LPAR'99 را ممکن ساخته اند تشکر کنیم. ما از گروه ها و افراد زیر سپاسگزاریم: از کمیته برنامه و داوران اضافی برای بررسی مقالات در مدت زمان بسیار کوتاه، از کمیته سازماندهی، و از برگزارکنندگان محلی کارگاه آموزشی INTAS در تفلیس در آوریل 1994 (خیموری روخایا) کنستانتین پخاکادزه و گلا چانکوتادزه). و در آخر، مایلیم از کنستانتین - رووین، که صفحه وب کمیته برنامه را حفظ کرد، تشکر کنیم. اووه والدمن، که ماکروهایی را برای این مراحل تهیه کرد و به ما کمک کرد تا برخی از برنامه‌ها را برای مدیریت الکترونیکی کار کمیته برنامه نصب کنیم. و Bill McCune که این برنامه ها را اجرا کردند.

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 who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs.