Conferences in DBLP

European Conference on Artificial Intelligence (ECAI) (ecai)
1990 (conf/ecai/1990tms)

1. 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]
   
2. Ulrich Junker
   Variations on Backtracking for TMS. [Citation Graph (0, 0)][DBLP]
   Truth Maintenance Systems (ECAI Workshop), 1990, pp:17-33 [Conf]
   
3. Katsumi Inoue
   An Abductive Procedure for the CMS/ATMS. [Citation Graph (0, 0)][DBLP]
   Truth Maintenance Systems (ECAI Workshop), 1990, pp:34-53 [Conf]
   
4. Antonis C. Kakas, Paolo Mancarella
   Knowledge Assimilation and Abduction. [Citation Graph (0, 0)][DBLP]
   Truth Maintenance Systems (ECAI Workshop), 1990, pp:54-70 [Conf]
   
5. Laura Giordano, Alberto Martelli
   Truth Maintenance Systems and Belief Revision. [Citation Graph (0, 0)][DBLP]
   Truth Maintenance Systems (ECAI Workshop), 1990, pp:71-86 [Conf]
   
6. 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]
   
7. 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]
   
8. Yasushi Fujiwara, Shinichi Honiden
   On Logical Foundations of the ATMS. [Citation Graph (0, 0)][DBLP]
   Truth Maintenance Systems (ECAI Workshop), 1990, pp:125-135 [Conf]
   
9. Cees Witteveen
   A Skeptical Semantics for Truth Maintenance. [Citation Graph (0, 0)][DBLP]
   Truth Maintenance Systems (ECAI Workshop), 1990, pp:136-154 [Conf]
   
10. Peter Jackson, John Pais
    Semantic Accounts of Belief Revision. [Citation Graph (0, 0)][DBLP]
    Truth Maintenance Systems (ECAI Workshop), 1990, pp:155-177 [Conf]