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
Items 101–200 of 1,000
Prasada, S. (2000) · Trends in Cognitive Sciences · doi:10.1016/s1364-6613(99)01429-1 · Cited by 187
Embedding defaults into terminological knowledge representation formalisms
Baader, F., & Hollunder, B. (1995) · Journal of Automated Reasoning · doi:10.1007/bf00883932 · Cited by 186
Gelfond, M., & Kahl, Y. (2014) · Cited by 184
Thielscher, M. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00033-1 · Cited by 181
An approach to default reasoning based on a first-order conditional logic: Revised report
Delgrande, J. P. (1988) · Artificial Intelligence · doi:10.1016/0004-3702(88)90079-3 · Cited by 181
A tutorial on assumption-based argumentation
Toni, F. (2014) · Argument & Computation · doi:10.1080/19462166.2013.869878 · Cited by 180
The Modularity of Mind: An Essay on Faculty Psychology
Fodor, J. A. (2008) · Cambridge University Press eBooks · doi:10.1017/cbo9780511814273.046 · Cited by 176
Monotonic Solution of The Frame Problem in The Situation Calculus
Schubert, L. K. (1990) · Studies in cognitive systems · doi:10.1007/978-94-009-0553-5_2 · Cited by 172
Saturation, nonmonotonic reasoning and the closed-world assumption
Bossu, G., & Siegel, P. (1985) · Artificial Intelligence · doi:10.1016/0004-3702(85)90040-2 · Cited by 171
Current trends on ICT technologies for enterprise information systems
Kadiri, S. E., Grabot, B., Thoben, K., Hribernik, K., Emmanouilidis, C., von Cieminski, G., & Kiritsis, D. (2015) · Computers in Industry · doi:10.1016/j.compind.2015.06.008 · Cited by 168
Pollock, J. L. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90057-4 · Cited by 164
Ontology: Towards a new synthesis
Smith, B., & Welty, C. (2001) · PhilPapers (PhilPapers Foundation) · Cited by 164
Propositional circumscription and extended closed-world reasoning are ΠP2-complete
Eiter, T., & Gottlob, G. (1993) · Theoretical Computer Science · doi:10.1016/0304-3975(93)90073-3 · Cited by 164
Reasoning Agents in Dynamic Domains
Baral, C. R., & Gelfond, M. (2000) · Springer eBooks · doi:10.1007/978-1-4615-1567-8_12 · Cited by 161
A language for legal Discourse I. basic features
McCarty, L. T. (1989) · International Conference on Artificial Intelligence and Law · doi:10.1145/74014.74037 · Cited by 161
A maximum entropy approach to nonmonotonic reasoning
Goldszmidt, M., Morris, P. H., & Pearl, J. (1993) · IEEE Transactions on Pattern Analysis and Machine Intelligence · doi:10.1109/34.204904 · Cited by 160
The meaning of action: a review on action recognition and mapping
Krüger, V., Kragić, D., Ude, A., & Geib, C. (2007) · Advanced Robotics · doi:10.1163/156855307782148578 · Cited by 163
A first-order conditional logic for prototypical properties
Delgrande, J. P. (1987) · Artificial Intelligence · doi:10.1016/0004-3702(87)90053-1 · Cited by 157
Equality, types, modules, and (why not?) generics for logic programming
Goguen, J. A., & Meseguer, J. (1984) · The Journal of Logic Programming · doi:10.1016/0743-1066(84)90004-9 · Cited by 155
Commonsense entailment: A modal theory of nonmonotonic reasoning
Asher, N. M., & Morreau, M. (1991) · Lecture notes in computer science · doi:10.1007/bfb0018430 · Cited by 154
On the relationship between circumscription and negation as failure
Gelfond, M., Przymusinska, H., & Przymusiński, T. C. (1989) · Artificial Intelligence · doi:10.1016/0004-3702(89)90068-4 · Cited by 153
Reasoning about priorities in default logic
Brewka, G. (1994) · Cited by 152
Linear resolution for consequence finding
Inoue, K. (1992) · Artificial Intelligence · doi:10.1016/0004-3702(92)90030-2 · Cited by 150
Lifschitz, V. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-32-3.50009-5 · Cited by 149
Contextual reasoning distilled
Benerecetti, M., Bouquet, P., & Ghidini, C. (2000) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/09528130050111446 · Cited by 147
On the declarative and procedural semantics of logic programs
Przymusiński, T. C. (1989) · Journal of Automated Reasoning · doi:10.1007/bf00243002 · Cited by 146
A survey of complexity results for non-monotonic logics
Cadoli, M., & Schaerf, M. (1993) · The Journal of Logic Programming · doi:10.1016/0743-1066(93)90029-g · Cited by 145
Pelletier, F. J., & Asher, N. M. (1997) · Elsevier eBooks · doi:10.1016/b978-044481714-3/50025-4 · Cited by 144
A Mechanism for Forming Composite Explanatory Hypotheses
Josephson, J. R., Chandrasekaran, B., Smith, J. W., & Tanner, M. C. (1987) · IEEE Transactions on Systems Man and Cybernetics · doi:10.1109/tsmc.1987.4309060 · Cited by 144
Nonmonotonic logics: meaning and utility
Shoham, Y. (1987) · International Joint Conference on Artificial Intelligence · Cited by 141
Semantic characterization of rational closure: From propositional logic to description logics
Giordano, L., Gliozzi, V., Olivetti, N., & Pozzato, G. L. (2015) · Artificial Intelligence · doi:10.1016/j.artint.2015.05.001 · Cited by 140
Prioritized logic programming and its application to commonsense reasoning
Sakama, C., & Inoue, K. (2000) · Artificial Intelligence · doi:10.1016/s0004-3702(00)00054-0 · Cited by 139
Some Alternative Formulations of the Event Calculus
Miller, R., & Shanahan, M. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45632-5_17 · Cited by 138
Search and Reasoning in problem solving
Simon, H. A. (1983) · Artificial Intelligence · doi:10.1016/s0004-3702(83)80003-4 · Cited by 137
Iterated belief change in the situation calculus
Shapiro, S., Pagnucco, M., Lespérance, Y., & Levesque, H. J. (2010) · Artificial Intelligence · doi:10.1016/j.artint.2010.04.003 · Cited by 137
Causes for events: Their computation and applications
Cox, P. T., & Pietrzykowski, T. (1986) · Lecture notes in computer science · doi:10.1007/3-540-16780-3_125 · Cited by 136
Handbook of temporal reasoning in artificial intelligence
Fisher, M., Gabbay, D. M., & Vila, L. (2005) · Cited by 135
Blutner, R. (2006) · Wiley eBooks · doi:10.1002/9780470756959.ch22 · Cited by 136
Computing Circumscription Revisited: A Reduction Algorithm
Doherty, P., Łukaszewicz, W., & Szałas, A. (1997) · Journal of Automated Reasoning · doi:10.1023/a:1005722130532 · Cited by 134
The Expressive Powers of the Logic Programming Semantics
Schlipf, J. S. (1995) · Journal of Computer and System Sciences · doi:10.1006/jcss.1995.1053 · Cited by 134
An epistemological framework for medical knowledge-based systems
Ramoni, M., Stefanelli, M., Magnani, L., & Barosi, G. (1992) · IEEE Transactions on Systems, Man and Cybernetics · doi:10.1109/21.199462 · Cited by 146
Towards a Theory of Knowledge and Ignorance: Preliminary Report
Halpern, J. Y., & Moses, Y. O. (1985) · Springer eBooks · doi:10.1007/978-3-642-82453-1_16 · Cited by 134
Conversation and Behavior Games in the Pragmatics of Dialogue
Airenti, G., Bara, B. G., & Colombetti, M. (1993) · Cognitive Science · doi:10.1016/0364-0213(93)90011-v · Cited by 133
Abduction from logic programs: Semantics and complexity
Eiter, T., Gottlob, G., & Leone, N. (1997) · Theoretical Computer Science · doi:10.1016/s0304-3975(96)00179-x · Cited by 130
Making Robots Conscious of Their Mental StatesPreprint
McCarthy, J. (1999) · CogPrints (University of Southampton) · Cited by 130
Self-citationTALplanner: A temporal logic based forward chaining planner
Kvarnström, J., & Doherty, P. (2000) · Annals of Mathematics and Artificial Intelligence · doi:10.1023/a:1016619613658 · Cited by 129
Human Judgment in algorithmic loops: Individual justice and automated decision‐making
Binns, R. (2022) · Regulation & Governance · doi:10.1111/rego.12358 · Cited by 134
Pinkas, G. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00032-v · Cited by 128
Nonmonotonic reasoning in the framework of situation calculus
Baker, A. B. (1991) · Artificial Intelligence · doi:10.1016/0004-3702(91)90004-4 · Cited by 127
Kautz, H. (1986) · Cited by 126
Nonmonotonic Reasoning and Causation
Shoham, Y. (1990) · Cognitive Science · doi:10.1207/s15516709cog1402_2 · Cited by 125
A theory of diagnosis for incomplete causal models
Console, L., Dupré, D. T., & Torasso, P. (1989) · Cited by 124
A new perspective on stable models
Ferraris, P., Lee, J., & Lifschitz, V. (2007) · Cited by 123
Logic programming and reasoning with incomplete information
Gelfond, M. (1994) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/bf01530762 · Cited by 123
Theories of reasoning and the computational explanation of everyday inference
Oaksford, M., & Nick Chater, A. (1995) · Thinking & Reasoning · doi:10.1080/13546789508251501 · Cited by 123
Michalski, R. S., & Winston, P. H. (1986) · Artificial Intelligence · doi:10.1016/0004-3702(86)90016-0 · Cited by 122
Commonsense Reasoning: An Event Calculus Based Approach
Mueller, E. T. (2006) · doi:10.1016/c2014-0-00192-x · Cited by 122
Knowledge Representation in Fuzzy Logic
Zadeh, L. A. (1992) · Springer eBooks · doi:10.1007/978-1-4615-3640-6_1 · Cited by 121
An algorithm to compute circumscription
Przymusiński, T. C. (1989) · Artificial Intelligence · doi:10.1016/0004-3702(89)90067-2 · Cited by 121
Smith, B., & Welty, C. A. (2001) · Formal Ontology in Information Systems · doi:10.1145/505168.505201 · Cited by 119
An Ontology-based Engineering system to support aircraft manufacturing system design
Arista, R., Zheng, X., Lu, J., & Mas, F. (2023) · Journal of Manufacturing Systems · doi:10.1016/j.jmsy.2023.02.012 · Cited by 118
Can AI planners solve practical problems?
Wilkins, D. (1990) · International Conference on Climate Informatics · doi:10.1111/j.1467-8640.1990.tb00297.x · Cited by 178
Preference Handling— An Introductory Tutorial
Brafman, R. I., & Domshlak, C. (2009) · AI Magazine · doi:10.1609/aimag.v30i1.2114 · Cited by 119
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
Delgrande, J. P., Schaub, T. H., Tompits, H., & Wang, K. (2004) · Computational Intelligence · doi:10.1111/j.0824-7935.2004.00240.x · Cited by 117
Brewka, G., Salem Benferhat, A., & Berre, D. L. (2004) · Artificial Intelligence · doi:10.1016/j.artint.2004.04.006 · Cited by 116
The comparative linguistics of knowledge representation
Gogic, G., Kautz, H., Papadimitriou, C. H., & Selman, B. (1995) · Cited by 116
Is operations research really research?
Manson, N. (2006) · Orion/ORiON · doi:10.5784/22-2-40 · Cited by 115
The Second Answer Set Programming Competition
Denecker, M., Vennekens, J., Bond, S., Gebser, M., & Truszczyński, M. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-04238-6_75 · Cited by 114
The double role of ontologies in information science research
Fonseca, F. (2007) · Journal of the American Society for Information Science and Technology · doi:10.1002/asi.20565 · Cited by 113
Negation as failure in the head
Inoue, K., & Sakama, C. (1998) · The Journal of Logic Programming · doi:10.1016/s0743-1066(97)10001-2 · Cited by 113
Modality in typological perspective
Nauze, F. (2008) · UvA-DARE (University of Amsterdam) · Cited by 113
Consequence Finding Algorithms
Marquis, P. (2000) · Springer eBooks · doi:10.1007/978-94-017-1737-3_3 · Cited by 111
Reasoning with Logic Programming
Alferes, J. J., Pereira, L. M., Siekmann, J., & Carbonell, J. (1996) · Cited by 111
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
Egly, U., Eiter, T., Tompits, H., & Woltran, S. (2000) · Cited by 108
Generality in artificial intelligence
McCarthy, J. (2007) · ACM Turing award lectures · doi:10.1145/1283920.1283926 · Cited by 107
Self-citationSound and efficient closed-world reasoning for planning
Etzioni, O., Golden, K., & Weld, D. S. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00026-4 · Cited by 106
Ginsberg, M. L., & Smith, D. E. (1988) · Artificial Intelligence · doi:10.1016/0004-3702(88)90020-3 · Cited by 106
Semantic Parallels in Natural Language and Computation
van Benthem, J. (1989) · Studies in logic and the foundations of mathematics · doi:10.1016/s0049-237x(08)70133-2 · Cited by 105
Ontologies in the context of product lifecycle management: state of the art literature review
Kadiri, S. E., & Kiritsis, D. (2015) · International Journal of Production Research · doi:10.1080/00207543.2015.1052155 · Cited by 104
A circumscriptive calculus of events
Shanahan, M. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00036-z · Cited by 102
Preferences in artificial intelligence
Pigozzi, G., Tsoukiàs, A., & Viappiani, P. (2015) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/s10472-015-9475-5 · Cited by 111
A Theory of Commonsense Knowledge
Zadeh, L. A. (1984) · Springer eBooks · doi:10.1007/978-94-009-6309-2_13 · Cited by 101
Some Expert Systems Need Common Sense
McCarthy, J. (1984) · Annals of the New York Academy of Sciences · doi:10.1111/j.1749-6632.1984.tb16516.x · Cited by 100
Self-citationNeuropragmatics: Neuropsychological Constraints on Formal Theories of Dialogue
Bara, B. G., Tirassa, M., & Zettin, M. (1997) · Brain and Language · doi:10.1006/brln.1997.1812 · Cited by 100
Using approximate reasoning to represent default knowledge
Yager, R. R. (1987) · Artificial Intelligence · doi:10.1016/0004-3702(87)90083-x · Cited by 99
Brewka, G., & Eiter, T. (2000) · Applied logic series · doi:10.1007/978-94-015-9383-0_3 · Cited by 98
Gottlob, G., & Szeider, S. (2007) · The Computer Journal · doi:10.1093/comjnl/bxm056 · Cited by 93
Reasoning situated in time I: basic concepts*
Elgot-Drapkin, J. J., & Perlis, D. R. (1990) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/09528139008953715 · Cited by 97
NaturalLI: Natural Logic Inference for Common Sense Reasoning
Angeli, G., & Manning, C. D. (2014) · Conference on Empirical Methods in Natural Language Processing (EMNLP) · doi:10.3115/v1/d14-1059 · Cited by 99
Defeasible reasoning and decision support systems
Nute, D. E. (1988) · Decision Support Systems · doi:10.1016/0167-9236(88)90100-5 · Cited by 95
Closed-world databases and circumscription
Lifschitz, V. (1985) · Artificial Intelligence · doi:10.1016/0004-3702(85)90055-4 · Cited by 94
Complex optimization in answer set programming
Gebser, M., Kaminski, R., & Schaub, T. H. (2011) · Theory and Practice of Logic Programming · doi:10.1017/s1471068411000329 · Cited by 93
A KEYHOLE PLAN RECOGNITION MODEL FOR ALZHEIMER'S PATIENTS: FIRST RESULTS
Bouchard, B., Giroux, S., & Bouzouane, A. (2007) · Applied Artificial Intelligence · doi:10.1080/08839510701492579 · Cited by 98
Quantifier Elimination in Second-Order Predicate Logic.
Gabbay, D. M., & Ohlbach, H. J. (1992) · Cited by 93
Default reasoning system DeReS
Cholewiński, P., Marek, V. W., & Truszczyński, M. (1996) · Cited by 93
Dynamic inference and everyday conditional reasoning in the new paradigm
Oaksford, M., & Nick Chater, A. (2013) · Thinking & Reasoning · doi:10.1080/13546783.2013.808163 · Cited by 92
Csaszar, F. A., & Steinberger, T. (2021) · Academy of Management Annals · doi:10.5465/annals.2020.0192 · Cited by 109
Semantic forgetting in answer set programming
Eiter, T., & Wang, K. (2008) · Artificial Intelligence · doi:10.1016/j.artint.2008.05.002 · Cited by 92
The Rational Analysis Of Mind And Behavior
Chater, N., & Oaksford, M. (2000) · Synthese · doi:10.1023/a:1005272027245 · Cited by 90
Database Repairing and Consistent Query Answering
Bertossi, L. (2011) · Synthesis lectures on data management · doi:10.2200/s00379ed1v01y201108dtm020 · Cited by 91
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
