Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

410 Pages·1999·23.8 MB·English

by  LPAR '99 (1999 : Tʻbilisi, Georgia)

Lecture Notes in Artificial Intelligence 1705
Subseries of Lecture Notes in Computer Science
Edited by J. G. Carbonell and J. Siekmann
Lecture Notes in Computer Science
Edited by G. Goos, J. Hartmanis and J. van Leeuwen
springer
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Harald Ganzinger David McAUester
Andrei Voronkov (Eds.)
Logic for Programming
and Automated Reasoning
6th International Conference, LPAR'99
Tbilisi, Georgia, September 6-10, 1999
Proceedings
Springer
Series Editors
Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA
Jorg Siekmann, University of Saarland, Saarbriicken, Germany
Volume Editors
Harald Ganzinger
Max-Planck-Institut fiir Informatik
Im Stadtwald, D-66123 Saarbriicken, Germany
E-mail: [email protected]
David McAllester
AT&T Labs Research
180 Park Ave, Florham Park, NJ 07932-0971, USA
E-mail: [email protected]
Andrei Voronkov
University of Manchester, Department of Computer Science
Oxford Road, Ml3 9PL Manchester, UK
E-mail: [email protected]
Cataloging-in-Publication data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Logic programming and automated reasoning: 6th international conference ;
proceedings / LPAR '99, Tbilisi, Georgia, September 6-10,1999. Harald
Ganzinger... (ed.). - Berlin; Heidelberg; New York; Barcelona; Hong Kong;
London ; Milan; Paris ; Singapore ; Tokyo : Springer, 1999
(Lecture notes in computer science ; Vol. 170S : Lecture notes in artificial
intelligence)
ISBN 3-540-66492-0
CR Subject Classification (1998): 1.2.3, F.3, D.l, F.4.1
ISBN 3-540-66492-0 Springer-Verlag Berlin Heidelberg New York
This work is subject to copyrigiil. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,
in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are
liable for prosecution under the German Copyright Law.
© Springer-Verlag Berlin Heidelberg 1999
Printed in Germany
Typesetting: Camera-ready by author
SPIN 10704915 06/3142-5432 10 Printed on acid-free paper
Preface
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 Ko-
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.
July 1999 Harald Ganzinger
David McAllester
Andrei Voronkov
LPAR'99 Program Chairs
Conference Organization
Program Chairs
Harald Ganzinger (MPI Informatik, Saarbriicken)
David McAllester (AT&T Labs Research)
Andrei Voronkov (University of Manchester)
Assistant to Program Chairs
Konstantin Korovin
Program Committee
Arnon Avron (Tel-Aviv University)
Leo Bachmair (SUNY at Stony Brook)
Franz Baader (RWTH Aachen)
Howard Barringer (University of Manchester)
Manfred Broy (Munich University of Technology)
Maurice Bruynooghe (Catholic University of Leuven)
Alan Bundy (University of Edinburgh)
Harald Ganzinger (MPI Informatik, Saarbriicken)
Jiirgen Giesl (Darmstadt University of Technology)
Georg Gottlob (Vienna Technical University)
Ryuzo Hasegawa (Kyushu University)
Neil Jones (DIKU University of Copenhagen)
Jean-Pierre Jouannaud (CNRS)
Maurizio Lenzerini (Universita di Roma "La Sapienza")
Giorgio Levi (Pisa University)
Leonid Libkin (Bell Laboratories)
Patrick Lincoln (SRI International)
Yuri Matiyasevich (Steklov Institute of Mathematics, St.Petersburg)
David McAllester (AT&T Labs Research)
Robert Nieuwenhuis (Technical University of Catalonia)
Catuscia Palamidessi (Pennsylvania State University)
Prank Pfenning (Carnegie Mellon University)
Vladimir Sazonov (Program Systems Institute, Pereslavl-Zalesski)
Helmut Schwichtenberg (Ludwig-Maximihan University, Munich)
Andrzej Tarlecki (Warsaw University)
Yoshihito Toyama (Japan Advanced Institute of Science and Technology)
Moshe Vardi (Rice University)
Andrei Voronkov (University of Manchester)
Michael Zakharyashev (Keldysh Institute of Applied Mathematics, Moscow)
VIII Conference Organization
Local Organization
Rusiko Asatiani (Tbilisi University)
Nani Chanishvili (Tbilisi University)
Gela Chankvetadze (Tbilisi University)
Georgi Chikoidze (Tbilisi University)
Temur Khurodze (Tbilisi University), Chair
Temur Kutsia (Tbilisi University)
Khimuri Rukhaia (Tbilisi University)
Konstantin Pkhakadze (Tbilisi University)
Referees IX
List of Referees
Gianluca Amato Martin Kiibler
Frederic Blanqui Alexei Lisitsa
Gerd Brewka Dale Miller
Judicael Courant Juan Jose Moreno Navarro
Ludwik Czaja Rodrigo Readi Nasser
Anatoli Degtyarev Yoshihiko Ohta
Alessandra Di Pierro Jeff Polakow
Hans de Nivelle Francesco Scarcello
Jacques Fleuriot Alexander B. Schmidt
Hiroshi Fujita Peter H. Schmitt
Maurizio Gabbrielli Carsten Schuermann
Roberta Gori Gerd Stumme
Jeremy Gow Margus Veanes
Bernhard Gramlich Michael von der Beeck
Katsumi Inoue Toby Walsh
Andrew Ireland Kevin Watkins
Beata Konikowska Klaus Welch
Miyuki Koshimura Markus Wenzel
X Conferences Preceding LPAR'99
Conferences preceding LPAR'99
RCLP'90, Irkutsk, Soviet Union, 1990
RCLP'91, Leningrad, Soviet Union, aboard the ship "Mikhail Lomonosov," 1991
LPAR'92, St. Petersburg, Russia, aboard the ship "Mikhail Lomonosov," 1992
LPAR'93, St. Petersburg, Russia, 1993
LPAR'94, Kiev, Ukraine, aboard the ship "Marshal Koshevoi," 1994