The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002