Logic for Programming, Artificial Intelligence, and Reasoning 9th In
- PDF / 6,349,023 Bytes
- 476 Pages / 429.976 x 650.048 pts Page_size
- 20 Downloads / 216 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
2514
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Matthias Baaz Andrei Voronkov (Eds.)
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14-18, 2002 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Matthias Baaz Abteilung für Theoretische Informatik Institut für Algebra und Diskrete Mathematik Wiedner Hauptstr. 8-10, 1040 Wien, Austria E-mail: [email protected] Andrei Voronkov University of Manchester, Department of Computer Science Kilburn Building, Oxford Road, Manchester M13, 9PL, UK E-mail: [email protected]
Cataloging-in-Publication Data applied for Bibliograhpic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at http://dnb.ddb.de
CR Subject Classification (1998): I.2.3, F.3, F.4.1, D.2.4 ISSN 0302-9743 ISBN 3-540-00010-0 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. 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 New York, a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN: 10870952 06/3142 543210
Preface This volume contains the papers presented at the Ninth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2002), held on October 14–18, 2002, at the University of Tbilisi (Georgia), together with the Third International Workshop on Implementation of Logics. There were 68 submissions, of which eight belonged to the special submission category of experimental papers, intended to describe implementations or comparisons of systems, or experiments with systems. Each submission was reviewed by at least three program committee members and an electronic program committee meeting was held via the Internet. The number of submissions and short reviewing period caused a large amount of work, and we are very grateful to the other 22 PC members for their efficiency and for the quality of their reviews and discussions. Finally, the committee deci
Data Loading...
