Skip to main content
SpringerLink
Log in

Truth Maintenance Systems

ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. João Pavão Martins
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Reinfrank
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 515)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Download chapter PDF

  2. Putting the problem solver back in the Driver's seat: Contextual control of the ATMS

    • Oskar Dressler, Adam Farquhar
    Pages 1-16

  3. Variations on backtracking for TMS

    • Ulrich Junker
    Pages 17-33

  4. An abductive procedure for the CMS/ATMS

    • Katsumi Inoue
    Pages 34-53

  5. Knowledge assimilation and abduction

    • A. C. Kakas, P. Mancarella
    Pages 54-70

  6. Truth maintenance systems and belief revision

    • Laura Giordano, Alberto Martelli
    Pages 71-86

  7. A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision

    • Didier Dubois, Jérôme Lang, Henri Prade
    Pages 87-106

  8. ARC: An extended ATMS based on directed CAT-correct resolution

    • Pierre Tayrac
    Pages 107-124

  9. On logical foundations of the ATMS

    • Yasushi Fujiwara, Shinichi Honiden
    Pages 125-135

  10. A skeptical semantics for truth maintenance

    • Cees Witteveen
    Pages 136-154

  11. Semantic accounts of belief revision

    • Peter Jackson, John Pais
    Pages 155-177

  12. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Truth Maintenance Systems

  • Book Subtitle: ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings

  • Editors: João Pavão Martins, Michael Reinfrank

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0037025

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-54305-3Published: 24 July 1991

  • eBook ISBN: 978-3-540-47550-7Published: 10 April 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 180

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation