Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002365294/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b3402583.
- catalog contributor b3402584.
- catalog contributor b3402585.
- catalog contributor b3402586.
- catalog created "c1991.".
- catalog date "1991".
- catalog date "c1991.".
- catalog dateCopyrighted "c1991.".
- catalog description "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.".
- catalog extent "vi, 177 p. :".
- catalog identifier "0387543058 (New York : alk. paper)".
- catalog identifier "3540543058 (Berlin : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 515. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 515.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1991".
- catalog issued "c1991.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "006.3 20".
- catalog subject "Q338 .T78 1991".
- catalog subject "Truth maintenance systems Congresses.".
- catalog tableOfContents "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.".
- catalog title "Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank (eds.).".
- catalog type "text".