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

  • Book Title Truth Maintenance Systems
  • Book Subtitle ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings
  • Editors Joao P. Martins
    Michael Reinfrank
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-54305-3
  • eBook ISBN 978-3-540-47550-7
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages VII, 180
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences