Logic for Programming, Artificial Intelligence, and Reasoning 8t
This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second Internati
- PDF / 9,156,325 Bytes
- 752 Pages / 434.413 x 674.891 pts Page_size
- 49 Downloads / 184 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
2250
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Robert Nieuwenhuis Andrei Voronkov (Eds.)
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001 Havana, Cuba, December 3-7, 2001 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Robert Nieuwenhuis Technical University of Catalonia, Department of Software Jordi Girona 1, 08034 Barcelona, Spain 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 Die Deutsche Bibliothek - CIP-Einheitsaufnahme Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings / LPAR 2001, Havana, Cuba, December 3 - 7, 2001. Robert Nieuwenhuis ; Andrei Voronkov (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ;Tokyo : Springer, 2001 (Lecture notes in computer science ; Vol. 2250 : Lecture notes in artificial intelligence) ISBN 3-540-42957-3
CR Subject Classification (1998): I.2.3, F.3, F.4.1, D.2.4 ISBN 3-540-42957-3 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 2001 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN: 10845965 06/3142 543210
Preface This volume contains the papers presented at the Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. There were 112 submissions, of which 19 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 high number of submissions caused a large a
Data Loading...
