Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1992
Highly Cited
1992
Abstract In this paper, we re-evaluate the consequence finding problem within first-order logic. Firstly, consequence finding is… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Multiclass learning problems involve finding a definition for an unknown function f(x) whose range is a discrete set containing k… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
The perfect model semantics [Apt et al., 1987; Gelder, 1987; Przymusinski, 1987; Przymusinski, 1988c) provides an attractive… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Description: Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper describes a uniform formalization of much of the current work in artificial intelligence on inference systems. We show… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Abstract This paper presents a new view of problem solving motivated by a new kind of truth maintenance system. Unlike previous… Expand
  • figure 1
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Abstract An assumption-based truth maintenance system provides a very general facility for all types of default reasoning… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
 
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Abstract ‘Non-monotonic’ logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such… Expand
  • figure 3
Is this relevant?
Highly Cited
1979
Highly Cited
1979
  • J. Doyle
  • Artif. Intell.
  • 1979
  • Corpus ID: 15194367
Abstract To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when… Expand
  • table I
  • figure 1
Is this relevant?