Automated Reasoning with Analytic Tableaux and Related Methods 14th
- PDF / 3,908,074 Bytes
- 354 Pages / 430 x 660 pts Page_size
- 18 Downloads / 200 Views
Subseries of Lecture Notes in Computer Science
3702
Bernhard Beckert (Ed.)
Automated Reasoning withAnalytic Tableaux and Related Methods International Conference, TABLEAUX 2005 Koblenz, Germany, September 14-17, 2005 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editor Bernhard Beckert University of Koblenz-Landau Department of Computer Science AI Research Group Universitätsstr. 1, 56070 Koblenz, Germany E-mail: [email protected]
Library of Congress Control Number: 2005931930
CR Subject Classification (1998): I.2.3, F.4.1, I.2, D.1.6, D.2.4 ISSN ISBN-10 ISBN-13
0302-9743 3-540-28931-3 Springer Berlin Heidelberg New York 978-3-540-28931-9 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 Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 11554554 06/3142 543210
Preface
This volume contains the research papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005) held September 14–17, 2005 in Koblenz, Germany. This conference was the fourteenth in a series of international meetings since 1992 (listed on page IX). It was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics and interesting fields of application for tableau-based methods: artificial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge representation (FTP), and software engineering and formal methods (SEFM). The Program Committee of TABLEAUX 2005 received 46 submissions from 16 countries. After each paper was reviewed by three referees, and an intensive discussion on the borderline papers was held during the online meeting of the Program Committee, 18 research papers and 7 system descriptions were accepted based on originality, technical soundness, presentation, and relevance. I wish to sincerely thank all the authors who submitted their work for consideration. And I would like to thank the Program Committee members and other referees for their great effort and professional work in the review and selection process. Their names are listed on the following pages. In addition to the contri
Data Loading...
