An algebraic foundation for truth maintenance
Data up to Jan 2025
Total Citations Per Year
Abstract
References (18)
The Design and Analysis of Computer Algorithms
1974 • 9,688 citations
Matrix Theory
1968 • 1,850 citations
A truth maintenance system
1979 • 1,816 citations
An assumption-based TMS
1986 • 1,772 citations
Principles of Compiler Design
1977 • 1,023 citations
Flow Analysis of Computer Programs
1977 • 739 citations
A Survey of Modern Algebra
1954 • 479 citations
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
1977 • 368 citations
Problem solving with the ATMS
1986 • 250 citations
Extending the ATMS
1986 • 227 citations
Truth maintenance systems for problem solving
1977 • 123 citations
Choices without backtracking
1984 • 100 citations
Contexts and Data Dependencies: A Synthesis
1983 • 64 citations
Representing actions with an assumption-based truth maintenance system
1986 • 45 citations
Elements of lattice theory
1977 • 39 citations
A glimpse of truth maintenance
1979 • 24 citations
A process theory of non-monotonic inference
1985 • 12 citations
WATSON: A Dependency Directed Inference System.
1984 • 12 citations