default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTruth Maintenance Systems, ECAI 1990 Workshop: Stockholm, Sweden
- João P. Martins, Michael Reinfrank:
Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Lecture Notes in Computer Science 515, Springer 1991, 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 - Antonis C. Kakas, Paolo Mancarella:
Knowledge Assimilation and Abduction. 54-70 - Laura Giordano, Alberto Martelli:
Truth Maintenance Systems and Belief Revision. 71-86 - 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 - Yasushi Fujiwara, Shinichi Honiden:
On Logical Foundations of the ATMS. 125-135 - Cees Witteveen:
A Skeptical Semantics for Truth Maintenance. 136-154 - Peter Jackson, John Pais:
Semantic Accounts of Belief Revision. 155-177
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-07 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
