Advertisement

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

Introduction

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.

Keywords

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 https://doi.org/10.1007/BFb0037025
  • 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
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering