Skip to search formSkip to main contentSkip to account menu

Reason maintenance

Known as: TMS, Truth maintenance system, Truth maintenance systems 
Reason maintenance is a knowledge representation approach to efficient handling of inferred information that is explicitly stored. Reason maintenance… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
AI winterArtificial intelligenceDefeasible reasoningKnowledge acquisition

Broader (1)

Belief revision

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
A Generalized Result for Degradation Model-Based Reliability Estimation
Reliability estimation based on degradation model is a feasible and low-cost alternative used to estimate reliability for highly… 
Highly Cited
2011
Highly Cited
2011
Measuring the performance of office buildings maintenance management in Malaysia
Purpose – The purpose of this paper is to identify the key aspects of performance measurement for maintenance management of… 
Highly Cited
2000
Highly Cited
2000
THE EFFECT OF LEAD-VEHICLE SIZE ON DRIVER FOLLOWING BEHAVIOR
The effect that lead-vehicle size (specifically, height and width) has on a passenger car driver's gap maintenance under near… 
Highly Cited
1993
Highly Cited
1993
First order abduction via tableau and sequent calculi
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… 
Highly Cited
1992
Highly Cited
1992
Linear Resolution for Consequence Finding
Highly Cited
1992
Highly Cited
1992
Making inconsistency respectable 1 : A logical framework for inconsistency
We claim there is a fundamental diierence between the way humans handle inconsistency and the way it is currently handled in… 
Highly Cited
1991
Highly Cited
1991
Timed possibilistic logic
This paper is an attempt to cast both uncertainty and time in a logical framework. It generalizes possibilistic logic, previously… 
Highly Cited
1990
Highly Cited
1990
On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction Networks
1990
1990
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision
In this paper we present an extension of the ATMS, called "possibilistic ATMS", where the management of uncertainty is integrated… 
Highly Cited
1990
Highly Cited
1990
A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)