Oskar Dressler, Adam Farquhar Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS. [Citation Graph (0, 0)][DBLP] Truth Maintenance Systems (ECAI Workshop), 1990, pp:1-16 [Conf]
Ulrich Junker Variations on Backtracking for TMS. [Citation Graph (0, 0)][DBLP] Truth Maintenance Systems (ECAI Workshop), 1990, pp:17-33 [Conf]
Katsumi Inoue An Abductive Procedure for the CMS/ATMS. [Citation Graph (0, 0)][DBLP] Truth Maintenance Systems (ECAI Workshop), 1990, pp:34-53 [Conf]
Didier Dubois, Jérôme Lang, Henri Prade A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision. [Citation Graph (0, 0)][DBLP] Truth Maintenance Systems (ECAI Workshop), 1990, pp:87-106 [Conf]
Pierre Tayrac ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. [Citation Graph (0, 0)][DBLP] Truth Maintenance Systems (ECAI Workshop), 1990, pp:107-124 [Conf]
Cees Witteveen A Skeptical Semantics for Truth Maintenance. [Citation Graph (0, 0)][DBLP] Truth Maintenance Systems (ECAI Workshop), 1990, pp:136-154 [Conf]