Logic for Programming, Artificial Intelligence, and Reasoning 11
- PDF / 4,773,441 Bytes
- 572 Pages / 430 x 660 pts Page_size
- 89 Downloads / 207 Views
Subseries of Lecture Notes in Computer Science
3452
Franz Baader Andrei Voronkov (Eds.)
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004 Montevideo, Uruguay, March 14-18, 2005 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editors Franz Baader TU Dresden Theoretical Computer Science 01062 Dresden, Germany E-mail: [email protected] Andrei Voronkov University of Manchester Department of Computer Science Oxford Rd, Manchester M13 9PL, UK E-mail: [email protected]
Library of Congress Control Number: 2005921519
CR Subject Classification (1998): I.2.3, I.2, F.4.1, F.3, D.2.4, D.1.6 ISSN 0302-9743 ISBN 3-540-25236-3 Springer 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. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com © Springer-Verlag Berlin Heidelberg 2005 Printed in Germany Typesetting: Camera-ready by author, data conversion by Markus Richter, Heidelberg Printed on acid-free paper SPIN: 11403487 06/3142 543210
Preface
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th International Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (organized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was reviewed by at least three expert reviewers. The final decisions on the papers were taken during an electronic Program Committee meeting held on the Internet. The Internet-based submission, reviewing, and discussion software EasyChair, provided by the second PC co-chair, supported each stage of the reviewing process. But the most important work was, of course, done by the 34 PC members and their external reviewers, who provided high-quality reviews. After intense discussions to resolve conflicts among the reviewers, the Program Committee decided to accept 33 papers. The conference program also included 4 invited talks, by J¨ urgen Giesl, Alexander Leitsch, Helmut Seidl, and Igor Walukiewicz, which are documented by short or extended abstracts in these proceedings. In addition, Mart´ın Abadi held a tutorial on Reasoning About Security Protocols, and Ian Horrocks on Descri
Data Loading...
