A truth maintenance system

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/0004-3702(79)90008-0

View full text

>> Full Text: A truth maintenance system

Inductive reasoning on recursive equations

Interestingness: Controlling inferences