The Resource Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings, J.P. Martins, M. Reinfrank (eds.)

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings, J.P. Martins, M. Reinfrank (eds.)

Label
Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings
Title
Truth maintenance systems
Title remainder
ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings
Statement of responsibility
J.P. Martins, M. Reinfrank (eds.)
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
Q338
LC item number
.T78 1991
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1958-
  • 1990
  • 1990
http://library.link/vocab/relatedWorkOrContributorName
  • Martins, João P
  • Reinfrank, M.
  • European Conference on Artificial Intelligence
  • Truth Maintenance Workshop
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
515.
http://library.link/vocab/subjectName
Truth maintenance systems
Label
Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings, J.P. Martins, M. Reinfrank (eds.)
Instantiates
Publication
Note
"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref
Bibliography note
Includes bibliographical references
Contents
Putting the problem solver back in the driver's seat : contextual control of the AMTS / Oskar Dressler and Adam Farquhar -- Variations on backtracking for TMS / Ulrich Junker -- An abductive procedure for the CMS/ATMS / Katsumi Inoue -- Knowledge assimilation and abduction / A.C. Kakas and P. Mancarella -- Truth maintenance systems and belief revision / Laura Giordano and Alberto Martelli -- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision / Didier Dubois, Jérôme Lang, and Henri Prade -- ARC : an extended ATMS based on directed CAT-correct resolution / Pierre Tayrac -- On logical foundations of the ATMS / Yasushi Fujiwara and Shinichi Honiden -- A skeptical semantics for truth maintenance / Cees Witteveen -- Semantic accounts of belief revision / Peter Jackson and John Pais
Dimensions
25 cm.
Extent
vi, 177 p.
Isbn
9783540543053
Isbn Type
(Berlin : alk. paper)
Lccn
91022317
Other physical details
ill.
System control number
(OCoLC)24065371
Label
Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings, J.P. Martins, M. Reinfrank (eds.)
Publication
Note
"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref
Bibliography note
Includes bibliographical references
Contents
Putting the problem solver back in the driver's seat : contextual control of the AMTS / Oskar Dressler and Adam Farquhar -- Variations on backtracking for TMS / Ulrich Junker -- An abductive procedure for the CMS/ATMS / Katsumi Inoue -- Knowledge assimilation and abduction / A.C. Kakas and P. Mancarella -- Truth maintenance systems and belief revision / Laura Giordano and Alberto Martelli -- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision / Didier Dubois, Jérôme Lang, and Henri Prade -- ARC : an extended ATMS based on directed CAT-correct resolution / Pierre Tayrac -- On logical foundations of the ATMS / Yasushi Fujiwara and Shinichi Honiden -- A skeptical semantics for truth maintenance / Cees Witteveen -- Semantic accounts of belief revision / Peter Jackson and John Pais
Dimensions
25 cm.
Extent
vi, 177 p.
Isbn
9783540543053
Isbn Type
(Berlin : alk. paper)
Lccn
91022317
Other physical details
ill.
System control number
(OCoLC)24065371

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...