Rina Dechter, Avi Dechter  Home/Search
Context Related
| uci.edu/pub/CSPre...struthmainten.ps uci.edu/~csp/r52s...struthmainten.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uci.edu/pub/CSPrepository/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper studies truth-maintenance and belief revision tasks on singly-connected structures for the purpose of understanding how structural features could be exploited in such tasks. We present distributed algorithms and show that, in the JTMS framework, both belief revision and consistency maintenance are linear in the size of the knowledgebase on singly connected structures. However, the ATMS task is exponential in the branching degree of the network. The singly-connected model, while... (Update)
Similar documents based on text: More All
0.3: A Graph-Based Method for Improving GSAT - Kask, Dechter (1996) (Correct)
0.3: Dead-End Driven Learning - Frost, Dechter (1994) (Correct)
0.3: Mini-Buckets: A General Scheme for Generating Approximations in.. - Dechter (1997) (Correct)
Related documents from co-citation: More All
7: An improved constraint-propagation algorithm for diagnosis (context) - Geffner, Pearl - 1987
5: Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report (context) - Reiter, de Kleer - 1987
4: Characterizing diagnoses and systems (context) - de Kleer, Mackworth et al. - 1992
BibTeX entry: (Update)
Rina Dechter and Avi Dechter. Structure-driven algorithms for truth maintenance. Artificial Intelligence, 1994. To appear. http://citeseer.ist.psu.edu/291396.html More
@article{ dechter96structuredriven,
author = "Rina Dechter and Avi Dechter",
title = "Structure-Driven Algorithms for Truth Maintenance",
journal = "Artificial Intelligence",
volume = "82",
number = "1-2",
pages = "1-2",
year = "1996",
url = "citeseer.ist.psu.edu/291396.html" }
Citations (may not include all citations):334 A truth maintenance system (context) - Doyle - 1979
267 Network-based heuristics for constraint satisfaction problem.. (context) - Dechter, Pearl - 1987
211 Enhancement schemes for constraint processing: backjumping (context) - Dechter - 1990
185 The complexity of some polynomial network consistency algori.. (context) - Mackworth, Freuder - 1985
185 A sufficient condition for backtrack-free search (context) - Freuder - 1982
141 Tree clustering for constraint networks (context) - Dechter, Pearl - 1989
132 An assumption-based TMS (context) - de Kleer - 1986
128 Diagnostic reasoning based on structure and behavior (context) - Davis - 1984
98 The use of design descriptions in automated diagnosis (context) - Genesereth - 1984
91 Belief maintenance in dynamic constraint networks (context) - Dechter, Dechter - 1988
77 the logic of theory change: partial meet contraction and rev.. (context) - Alchourron, Gardenfors et al. - 1985
45 Truth maintenance - McAllester - 1990
32 A comparison of ATMS and CSP techniques (context) - de Kleer - 1989
31 An outlook on truth-maintenance (context) - McAllester - 1980
22 An improved constraint propagation algorithm for diagnosis (context) - Geffner, Pearl - 1987
10 A general framework for reason maintenance (context) - Mcdermott - 1991
6 Reasoning about multiple faults (context) - de Kleer, Williams - 1986
2 Conditional independence in atmss: Independence-based algori.. (context) - Darwiche - 1994
2 On computing minimal models - Ben-Eliyahu, Dechter - 1993
2 Complexity analysis of multiple-context TMSs in scene repres.. (context) - Provan - 1987
1 Diagnosis for near tree structures (context) - fattah, Dechter - 1994
1 arguments and valuation networks (context) - Kohlas - 1993
1 Siam Jouranl of Computation (context) - Valiant, of et al. - 1987
1 A distributed algorithm for atms (context) - Dechter - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ics.uci.edu/pub/CSP-repository/papers/): More
Propositional Semantics for Disjunctive Logic Programs - Ben-Eliyahu, Dechter (1994) (Correct)
Local and Global Relational Consistency - Dechter, van Beek (1995) (Correct)
Topological Parameters for time-space tradeoff (extended abstract) - Dechter (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC