Table of contents

  1. Front Matter
  2. Ulrich Junker
    Pages 17-33
  3. Katsumi Inoue
    Pages 34-53
  4. A. C. Kakas, P. Mancarella
    Pages 54-70
  5. Laura Giordano, Alberto Martelli
    Pages 71-86
  6. Yasushi Fujiwara, Shinichi Honiden
    Pages 125-135
  7. Cees Witteveen
    Pages 136-154
  8. Peter Jackson, John Pais
    Pages 155-177
  9. Back Matter

About these proceedings


The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.


Automatisches Schließen und Beweisen Belief Revision Deduction and Theorem Proving European Conference on Artificial Intelligence Extension Meta-Level-Cotrol Meta-Level-Kontrolle Truth Maintenance Systems Truth-Maintenance-Systeme artificial intelligence intelligence knowledge proving semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54305-3
  • Online ISBN 978-3-540-47550-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book