The DOI matches its Crossref record; 10 of the 12 references it cites were found in a registry or an index.
Circumscription—A form of non-monotonic reasoning
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“It turned out to be too dif fi cult to specify all the relevant rules for a given situation (McCarthy 1980), and the legal domain was no exception (Leith 2016).”
From Human Judgment in algorithmic loops: Individual justice and automated decision‐making (2022) · cites this paper as McCarthy 1980
In the citing paper
“However, legal expert systems, like expert systems in general, did not transpire to be as effective as hoped.”
From Human Judgment in algorithmic loops: Individual justice and automated decision‐making (2022) · cites this paper as McCarthy 1980
Citations
Cites
Reiter, R. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90014-4 · Cited by 3,926
Some Philosophical Problems from the Standpoint of Artificial Intelligence
McCarthy, J., & Hayes, P. J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50033-7 · Cited by 3,296
Self-citationMcDermott, D., & Doyle, J. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90012-0 · Cited by 912
McCarthy, J. (1960) · Cited by 799
Self-citationEPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE
McCarthy, J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50035-0 · Cited by 327
Self-citationHewitt, C. E. (1972) · Defense Technical Information Center (DTIC) · Cited by 316
On Representations of Problems of Reasoning about Actions
Amarel, S. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50006-4 · Cited by 264
Ascribing Mental Qualities to MachinesPreprint
McCarthy, J. (1979) · CogPrints (University of Southampton) · Cited by 239
Self-citationPhilosophical Perspectives in Artificial Intelligence
Ringle (1980) · Cited by 202
First Order Theories of Individual Concepts and Propositions.Preprint
McCarthy, J. (1979) · CogPrints (University of Southampton) · Cited by 180
Self-citation
Cited by
Sorted by citations
(1988) · Cited by 16,582
Phan, D. T. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00041-x · Cited by 5,300
A computational approach to fuzzy quantifiers in natural languages
Zadeh, L. A. (1983) · Computers & Mathematics with Applications · doi:10.1016/0898-1221(83)90013-5 · Cited by 1,828
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
Fox, M., & Long, D. (2003) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1129 · Cited by 1,741
Nonmonotonic reasoning, preferential models and cumulative logics
Kraus, S., Lehmann, D. J., & Magidor, M. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90101-5 · Cited by 1,660
Metadata
- Authors
- McCarthy, J.
- Affiliations
- Stanford University (US)
- Corresponding author
- McCarthy, John
- ORCID
- McCarthy, John
- Venue
- Artificial Intelligence
- Publisher
- Elsevier BV
- Published
- 1980-04
- Volume
- 13
- Issue
- 1-2
- Pages
- 27-39
- ISSN
- 0004-3702 (ISSN-L)
- OpenAlex
- W2945259913
- Cited by
- 2,017
- References
- 12
- Citations by year
- 2026: 21 · 2025: 19 · 2024: 17 · 2023: 19 · 2022: 17 · 2021: 22 · 2020: 29 · 2019: 30 · 2018: 38 · 2017: 28 · 2016: 32 · 2015: 41 · 2014: 68 · 2013: 46 · 2012: 55
- FWCI
- 10.97
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- Artificial Intelligence (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Computer Science › Artificial Intelligence › Multi-Agent Systems and Negotiation
- Keywords
- circumscription, nonmonotonic reasoning, default reasoning, closed world assumption
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
