New results on semantical nonmonotonic reasoning
Data up to Jan 2025
Total Citations Per Year
Abstract
References (6)
The Design and Analysis of Computer Algorithms
1974 • 9,688 citations
A truth maintenance system
1979 • 1,816 citations
Foundations of Deductive Databases and Logic Programming
1988 • 994 citations
Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence
1987 • 535 citations
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel …
1989 • 20 citations
Logics of Justified Belief.
1988 • 7 citations