Truth Maintenance Systems (ECAI Workshop)

Keyphrases

Publications

volume 515, 1991

Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings Truth Maintenance Systems (ECAI Workshop) 515 (1991)

1990

Antonis C. Kakas, Paolo Mancarella
Knowledge Assimilation and Abduction. Truth Maintenance Systems (ECAI Workshop) (1990)
Pierre Tayrac
ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. Truth Maintenance Systems (ECAI Workshop) (1990)
Didier Dubois, Jérôme Lang, Henri Prade
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision. Truth Maintenance Systems (ECAI Workshop) (1990)
Yasushi Fujiwara, Shinichi Honiden
On Logical Foundations of the ATMS. Truth Maintenance Systems (ECAI Workshop) (1990)
Oskar Dressler, Adam Farquhar
Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS. Truth Maintenance Systems (ECAI Workshop) (1990)
Katsumi Inoue
An Abductive Procedure for the CMS/ATMS. Truth Maintenance Systems (ECAI Workshop) (1990)
Cees Witteveen
A Skeptical Semantics for Truth Maintenance. Truth Maintenance Systems (ECAI Workshop) (1990)
Ulrich Junker
Variations on Backtracking for TMS. Truth Maintenance Systems (ECAI Workshop) (1990)
Laura Giordano, Alberto Martelli
Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) (1990)
Peter Jackson, John Pais
Semantic Accounts of Belief Revision. Truth Maintenance Systems (ECAI Workshop) (1990)