Truth Maintenance Systems, ECAI 1990 Workshop: Stockholm, Sweden
João P. Martins, Michael Reinfrank (Eds.): Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Springer 1991 Lecture Notes in Computer Science ISBN 3-540-54305-8- Oskar Dressler, Adam Farquhar: Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS. 1-16
- Ulrich Junker: Variations on Backtracking for TMS. 17-33
- Katsumi Inoue: An Abductive Procedure for the CMS/ATMS. 34-53
- Didier Dubois, Jérôme Lang, Henri Prade: A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision. 87-106
- Pierre Tayrac: ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. 107-124
- Cees Witteveen: A Skeptical Semantics for Truth Maintenance. 136-154
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team