Automated Reasoning with Analytic Tableaux and Related Methods I
- PDF / 4,308,158 Bytes
- 350 Pages / 429.976 x 650.048 pts Page_size
- 37 Downloads / 201 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
2381
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Uwe Egly Christian G. Fermüller (Eds.)
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 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 Uwe Egly Technische Univesität Wien, Abteilung Wisssenbasierte Systeme 184/3 Favoritenstr. 9-11, 1040 Vienna, Austria E-mail: [email protected] Chritian G. Fermüller Technische Universität Wien, Institut für Computersprachen AG Theoretische Informatik und Logik 185.2 Favoritenstr. 9-11, 1040 Vienna, Austria E-mail: [email protected]
Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Automated reasoning with analytic tableaux and related methods : international conference ; tableaux 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings / Uwe Egly ; Christian G. Fermüller (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002 (Lecture notes in computer science ; Vol. 2381 : Lecture notes in artificial intelligence) ISBN 3-540-43929-3
CR Subject Classification (1998): I.2.3, F.4.1, I.2, D.1.6, D,2,4 ISSN 0302-9743 ISBN 3-540-43929-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 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna e.K. Printed on acid-free paper SPIN: 10870473 06/3142 543210
Foreword This volume contains the research papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 – August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002). This conference was the continuation of international meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St. Goar (1995), Terrasini (1996), Pont-` a-Mousson (1997), Oisterwijk (1998), Saratoga Springs (1999), and St Andrews (2000). In 2001 TABLEAUX was part of IJCAR 2001
Data Loading...
