Automated Reasoning with Analytic Tableaux and Related Methods I
- PDF / 4,035,437 Bytes
- 336 Pages / 325.984 x 498.239 pts Page_size
- 39 Downloads / 197 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
1397
3
Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo
Harrie de Swart (Ed.)
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5-8, 1998 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editor Harrie de Swart Tilburg University, Faculty of Philosophy P.O. Box 90153, 5000 LETilburg, The Netherlands 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 ’98, Oisterwijk, The Netherlands, May 5 - 8, 1998 ; proceedings / [International Conference Tableaux]. Harrie de Swart (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1998 (Lecture notes in computer science ; Vol. 1397 : Lecture notes in artificial intelligence) ISBN 3-540-64406-7
CR Subject Classification (1991): F.4.1, I.2.3 ISBN 3-540-64406-7 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. c Springer-Verlag Berlin Heidelberg 1998 Printed in Germany Typesetting: Camera-ready by author SPIN 10637003 06/3142 – 5 4 3 2 1 0
Printed on acid-free paper
Preface
This volume contains the papers presented at TABLEAUX’98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, The Netherlands. This conference was a continuation of international workshops/conferences on Theorem Proving with Analytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), and Pont-` a-Mousson near Nancy (1997). Tableau methods have been found to be a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brought together researchers interested in all as
Data Loading...
