A logical framework for default reasoning
Data up to Jan 2025
Total Citations Per Year
Abstract
References (27)
The Logic of Scientific Discovery
2013 • 8,086 citations
A logic for default reasoning
1980 • 3,992 citations
A Mathematical Introduction to Logic
2001 • 2,459 citations
A truth maintenance system
1979 • 1,816 citations
An assumption-based TMS
1986 • 1,772 citations
Aspects of Scientific Explanation and other Essays in the Philosophy of Science
1965 • 1,635 citations
Logical Foundations of Artificial Intelligence
1987 • 1,599 citations
Applications of circumscription to formalizing common-sense knowledge
1986 • 1,097 citations
Semantical considerations on nonmonotonic logic
1985 • 1,087 citations
Non-monotonic logic I
1980 • 903 citations
The web of belief
1970 • 655 citations
Theorist: A Logical Reasoning System for Defaults and Diagnosis
1987 • 305 citations
On interacting defaults
1981 • 213 citations
On the comparison of theories: preferring the most specific explanation
1985 • 210 citations
On inheritance hierarchies with exceptions
1983 • 186 citations
Formalizing nonmonotonic reasoning systems
1987 • 168 citations
A first-order conditional logic for prototypical properties
1987 • 158 citations
The role of logic in knowledge representation and commonsense reasoning
1982 • 116 citations
The knowledge frontier: essays in the representation of knowledge
1987 • 110 citations
Implicit ordering of defaults in inheritance systems
1984 • 106 citations
What's wrong with non-monotonic logic?
1980 • 70 citations
The Role of Logic
1972 • 24 citations
Variables in hypotheses
1987 • 19 citations
APPLYING THEORY FORMATION TO THE PLANNING PROBLEM
1987 • 17 citations
Tweety - still flying some remarks on abnormal birds, applicable rules and a default prover
1986 • 14 citations
Towards solving the multiple extension problem: Combining defaults and probabilities
1988 • 14 citations
Default Reasoning as Circumscription.
1984 • 13 citations