A rational reconstruction of nonmonotonic truth maintenance systems
Data up to Jan 2025
Total Citations Per Year
Abstract
References (26)
A logic for default reasoning
1980 • 3,992 citations
The stable model semantics for logic programming
1988 • 3,564 citations
A truth maintenance system
1979 • 1,816 citations
Semantical considerations on nonmonotonic logic
1985 • 1,087 citations
On the Complexity of Timetable and Multicommodity Flow Problems
1976 • 1,045 citations
Linear-time algorithms for testing the satisfiability of propositional horn formulae
1984 • 1,030 citations
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
1977 • 736 citations
On the relation between default and autoepistemic logic
1988 • 329 citations
Artificial Intelligence Programming
2014 • 181 citations
On stratified autoepistemic theories
1987 • 157 citations
A knowledge-level account of abduction
1989 • 154 citations
Artificial intelligence programming
1980 • 141 citations
A note on non-monotonic modal logic
1993 • 84 citations
The relationship between stable, supported, default and autoepistemic semantics for general logic programs
1992 • 71 citations
The ins and outs of reason maintenance
1983 • 55 citations
A semantics for default logic
1987 • 41 citations
Revised dependency-directed backtracking for default reasoning
1987 • 35 citations
New results on semantical nonmonotonic reasoning
1988 • 20 citations
Curing anomalous extensions
1987 • 20 citations
An algebraic foundation for truth maintenance
1987 • 12 citations
Modal propositional semantics for reason maintenance systems
1985 • 12 citations
Stable closures, defeasible logic and contradiction tolerant reasoning
1988 • 12 citations
A process theory of non-monotonic inference
1985 • 12 citations
Reason Maintenance in Expert Systems.
1989 • 10 citations
Complexity analysis of truth maintenance systems, with application to high-level vision
1988 • 5 citations
Formalizing Non-Monotonic Truth Maintenance Systems.
1988 • 3 citations