Cited by 2,017Logic, Reasoning, and KnowledgeAI-based Problem Solving and PlanningMulti-Agent Systems and Negotiation

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

McCarthy, John·1980·Artificial Intelligence

DOI 10.1016/0004-3702(80)90011-9

Open this paper in CoChat — free account

Integrity signals

Registry

Crossref · 10.1016/0004-3702(80)90011-9

Cites

10 of 10 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

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?

A logic for default reasoning
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-citation
Non-monotonic logic I
McDermott, D., & Doyle, J. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90012-0 · Cited by 912
Programs with common sense
McCarthy, J. (1960) · Cited by 799
Self-citation
EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE
McCarthy, J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50035-0 · Cited by 327
Self-citation
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
Hewitt, 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-citation
Philosophical 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

Show all 12 references

Sorted by citations

Items 801–900 of 1,000

Relating belief revision and circumscription
Liberatore, P., & Schaerf, M. (1995) · Cited by 13
A Summary of A New Normative Theory of Probabilistic Logic
Aleliunas, R. (1990) · Machine intelligence and pattern recognition · doi:10.1016/b978-0-444-88650-7.50020-2 · Cited by 13
Propagating Probabilities in System P
Bourne, R. A., & Parsons, S. (1998) · Cited by 13
Reasoning and Acting in Time
Ismail, H. O. (2000) · Cited by 13
Automated Abduction
Inoue, K. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45632-5_13 · Cited by 13
Defeasible Logics
Geerts, P., Laenens, E., & Vermeir, D. (1998) · Springer eBooks · doi:10.1007/978-94-017-1739-7_6 · Cited by 13
A default logic based on epistemic states
Meyer, J. C., & van der Hoek, W. (1993) · Lecture notes in computer science · doi:10.1007/bfb0028209 · Cited by 13
The knowledge representation language LLILOG
Pletat, U. (1991) · Lecture notes in computer science · doi:10.1007/3-540-54594-8_69 · Cited by 13
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
Janhunen, T. (1999) · Lecture notes in computer science · doi:10.1007/3-540-46767-x_2 · Cited by 13
Cognitive support for semi-automatic ontology mapping
Falconer, S. M. (2009) · UVic’s Research and Learning Repository (University of Victoria) · Cited by 13
Why nonmonotonic logic?
Kimbrough, S. O. (1988) · Decision Support Systems · doi:10.1016/0167-9236(88)90101-7 · Cited by 13
Generative artificial intelligence use in the workplace: implications for management practice
Hernández-Tamurejo, Á., Bužinskienė, R., Barbosa, B., Miceikienė, A., & Saura, J. R. (2025) · Review of Managerial Science · doi:10.1007/s11846-025-00949-z · Cited by 17
Methodological Exploration of Ontology Generation with a Dedicated Large Language Model
Cappelli, M. A., & Serugendo, G. D. M. (2025) · Electronics · doi:10.3390/electronics14142863 · Cited by 12
One logician's perspective on argumentation
van Benthem, J. (2009) · UvA-DARE (University of Amsterdam) · Cited by 11
Resolving conflicts in knowledge for ambient intelligence
Homola, M., Patkos, T., Flouris, G., Šefránek, J., Šimko, A., Frtús, J., Zografistou, D., & Baláž, M. (2015) · The Knowledge Engineering Review · doi:10.1017/s0269888915000132 · Cited by 12
Interpretation, Representation, and Deductive Reasoning
Stenning, K., & van Lambalgen, M. (2008) · Cambridge University Press eBooks · doi:10.1017/cbo9780511814273.013 · Cited by 12
On the tractability of minimal model computation for some CNF theories
Angiulli, F., Ben‐Eliyahu‐Zohary, R., Fassetti, F., & Palopoli, L. (2014) · Artificial Intelligence · doi:10.1016/j.artint.2014.02.003 · Cited by 12
Redundancy in logic III: Non-monotonic reasoning
Liberatore, P. (2008) · Artificial Intelligence · doi:10.1016/j.artint.2008.02.003 · Cited by 12
Nonmonotonic Reasoning
Bochman, A. (2007) · Handbook of the history of logic · doi:10.1016/s1874-5857(07)80012-4 · Cited by 12
Program Correspondence under the Answer-Set Semantics: The Non-ground Case
Oetsch, J., & Tompits, H. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-89982-2_49 · Cited by 12
Expressive power and complexity of disjunctive datalog under the stable model semantics
Eiter, T., Gottlob, G., & Mannila, H. (1994) · Lecture notes in computer science · doi:10.1007/3-540-57802-1_5 · Cited by 12
A Logic for Default Reasoning About Probabilities
Jaeger, M. (1994) · Elsevier eBooks · doi:10.1016/b978-1-55860-332-5.50049-3 · Cited by 12
Compiling specificity into approaches to nonmonotonic reasoning
Delgrande, J. P., & Schaub, T. H. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00045-8 · Cited by 12
Projection and scope-determined circumscription
Wernhard, C. (2011) · Journal of Symbolic Computation · doi:10.1016/j.jsc.2011.12.034 · Cited by 12
Characterising equilibrium logic and nested logic programs: Reductions and complexity,
PEARCE, D., TOMPITS, H., & WOLTRAN, S. (2009) · Theory and Practice of Logic Programming · doi:10.1017/s147106840999010x · Cited by 12
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Creignou, N., Meier, A., Vollmer, H., & Thomas, M. (2012) · ACM Transactions on Computational Logic · doi:10.1145/2159531.2159539 · Cited by 12
Logic and Databases: A History of Deductive Databases
Minker, J., Seipel, D. A., & Zaniolo, C. (2014) · Handbook of the history of logic · doi:10.1016/b978-0-444-51624-4.50013-7 · Cited by 12
Modeling Paraconsistent Reasoning by Classical Logic
Arieli, O., & Denecker, M. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45758-5_1 · Cited by 12
A note on the stable model semantics for logic programs
Kaminski, M. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(97)00058-1 · Cited by 12
Expert system models for inference with imperfect knowledge: A comparative study
Goicoechea, A. (1988) · Journal of Statistical Planning and Inference · doi:10.1016/0378-3758(88)90092-4 · Cited by 12
On the counting complexity of propositional circumscription
Durand, A., & Hermann, M. (2007) · Information Processing Letters · doi:10.1016/j.ipl.2007.11.006 · Cited by 15
Exceptions for algebraic specifications: on the meaning of “but”
Schobbens, P. (1993) · Science of Computer Programming · doi:10.1016/0167-6423(93)90023-i · Cited by 12
A neuroidal architecture for cognitive computation
Valiant, L. G. (1998) · Lecture notes in computer science · doi:10.1007/bfb0055091 · Cited by 12
Dispositional Logic
Zadeh, L. A. (1988) · Applied Mathematics Letters · doi:10.1016/0893-9659(88)90185-1 · Cited by 12
Causality and minimal change demystified
Pagnucco, M., & Peppas, P. (2001) · Cited by 12
Mental models cannot exclude mental logic and make little sense without it
Braine, M. D. S. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030326 · Cited by 12
The complexity of knowledge representation
Papadimitriou, C. H. (2002) · IEEE Conference on Computational Complexity (CCC) · doi:10.1109/ccc.1996.507686 · Cited by 12
A working memory model of relations between interpretation and reasoning
Stenning, K., & van Lambalgen, M. (2005) · Cited by 12
A process theory of non-monotonic inference
Goodwin, J. W. (1985) · International Joint Conference on Artificial Intelligence · Cited by 12
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, TooPreprint
Denecker, M., Marek, V. W., & Truszczyński, M. (2011) · arXiv (Cornell University) · doi:10.48550/arxiv.1108.3278 · Cited by 12
A hybrid scheme for action representation
Ardizzone, E., Camurri, A., Frixione, M., & Zaccaria, R. (1993) · International Journal of Intelligent Systems · doi:10.1002/int.4550080304 · Cited by 12
Natural Gas: Moving to Chaos and Complexity in Financial Statements
Juárez, F. (2012) · InTech eBooks · doi:10.5772/54131 · Cited by 11
Senses of ‘argument’ in instantiated argumentation frameworks
Wyner, A., Bench-Capon, T. J. M., Dunne, P. E. S., & Cerutti, F. (2015) · Argument & Computation · doi:10.1080/19462166.2014.1002535 · Cited by 11
Model enumeration in propositional circumscription via unsatisfiable core analysis
Alviano, M. (2017) · Theory and Practice of Logic Programming · doi:10.1017/s1471068417000278 · Cited by 14
Pragmatic Reasoning: Inferring Contexts
Bell, J. (1999) · Lecture notes in computer science · doi:10.1007/3-540-48315-2_4 · Cited by 11
cmMUS: A Tool for Circumscription-Based MUS Membership Testing
Janota, M., & Marques-Silva, J. P. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-20895-9_30 · Cited by 11
McCarthy variations in a modal key
van Benthem, J. (2010) · Artificial Intelligence · doi:10.1016/j.artint.2010.04.014 · Cited by 11
A Generalization of Approximation Fixpoint Theory and Application
Bi, Y., You, J.-H., & Feng, Z. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-11113-1_4 · Cited by 11
Extending Cognitive Architectures with Semantic Resources
Oltramari, A., & Lebiere, C. J. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-22887-2_23 · Cited by 11
Open biomedical pluralism: formalising knowledge about breast cancer phenotypes
Šojić, A., & Kutz, O. (2012) · Journal of Biomedical Semantics · doi:10.1186/2041-1480-3-s2-s3 · Cited by 11
A grounding framework
Williams, M., McCarthy, J., Gärdenfors, P., Stanton, C. J., & Karol, A. (2009) · Autonomous Agents and Multi-Agent Systems · doi:10.1007/s10458-009-9082-0 · Cited by 11
Self-citation
On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks
Wyner, A., Bench-Capon, T. J. M., & Dunne, P. E. S. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-40624-9_3 · Cited by 11
Default Logic
Antoniou, G., & Wang, K. (2007) · Handbook of the history of logic · doi:10.1016/s1874-5857(07)80011-2 · Cited by 11
Evolution of Conventional Meaning and Conversational Principles
van Rooij, R. (2004) · Synthese · doi:10.1023/b:synt.0000024904.37199.6c · Cited by 11
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Dũng, P. M., Mancarella, P. M., & Toni, F. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45632-5_12 · Cited by 11
An extended framework for default reasoning
Abdallah, M. A. N. (1989) · Lecture notes in computer science · doi:10.1007/3-540-51498-8_33 · Cited by 11
Nonmonotonic Logics – A Brief Overview
Brewka, G. (1989) · AI Communications · doi:10.3233/aic-1989-2204 · Cited by 11
A theory of default reasoning
Zadrozny, W. (1987) · National Conference on Artificial Intelligence · Cited by 11
Nonmonotonic inheritance systems
Yager, R. R. (1988) · IEEE Transactions on Systems Man and Cybernetics · doi:10.1109/21.23104 · Cited by 11
Representing defaults with epistemic concepts
Konolige, K., & Myers, K. L. (1989) · Computational Intelligence · doi:10.1111/j.1467-8640.1989.tb00313.x · Cited by 11
A general approach for determining the validity of commonsense assertions using conditional logics
Groeneboer, C., & Delgrande, J. P. (1990) · International Journal of Intelligent Systems · doi:10.1002/int.4550050505 · Cited by 11
An algebraic approach to the complexity of propositional circumscription
Nordh, G., & Jönsson, P. (2004) · Logic in Computer Science · doi:10.1109/lics.2004.8 · Cited by 11
Ordered logic: defeasible reasoning for multiple agents
Geerts, P., Vermeir, D., & Nute, D. E. (1994) · Decision Support Systems · doi:10.1016/0167-9236(94)90030-2 · Cited by 11
Achieving higher-level learning through adaptable Semantic Web applications
Džbor, M., Motta, E., & Stutt, A. (2005) · International Journal of Knowledge and Learning · doi:10.1504/ijkl.2005.006249 · Cited by 11
Toward systematic construction of diagnostic systems for large industrial plants: methods, languages, and tools
Ayeb, B. (1994) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/69.317701 · Cited by 11
Normische Gesetzeshypothesen und die wissenschaftsphilosophische Bedeutung des nichtmonotonen Schliessens
Schurz, G. (2001) · Journal for General Philosophy of Science · doi:10.1023/a:1011209401546 · Cited by 11
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
Eiter, T., Klotz, V., Tompits, H., & Woltran, S. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45616-3_8 · Cited by 11
A preference-based approach to default reasoning: preliminary report
Delgrande, J. P. (1994) · National Conference on Artificial Intelligence · Cited by 11
Artificial Intelligence
Hyötyniemi, H. (1999) · Wiley Encyclopedia of Electrical and Electronics Engineering · doi:10.1002/047134608x.w5501 · Cited by 11
Planning and verification in the agent language Golog
Claßen, J., & Lakemeyer, G. (2013) · RWTH Publications (RWTH Aachen) · Cited by 11
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription
Bartholomew, M., Lee, J., & Meng, Y. (2011) · National Conference on Artificial Intelligence · Cited by 10
Logical lateration – A cognitive systems experiment towards a new approach to the grounding problem
Schmidtke, H. R. (2018) · Cognitive Systems Research · doi:10.1016/j.cogsys.2018.09.008 · Cited by 10
Compilation of Intractable Problems and Its Application to Artificial Intelligence
Liberatore, P. (2004) · Cited by 10
Success of Default Logic
Lifschitz, V. (1999) · Artificial intelligence · doi:10.1007/978-3-642-60211-5_16 · Cited by 10
Linguistic Geometry tools generate optimal solutions
Stilman, B. (1996) · Lecture notes in computer science · doi:10.1007/3-540-61534-2_5 · Cited by 10
Second-order reasoning in description logics
Szałas, A. (2006) · Journal of Applied Non-Classical Logics · doi:10.3166/jancl.16.517-530 · Cited by 10
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
Bamber, D., Goodman, I. R., & Nguyen, H. T. (2005) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/s10472-005-9008-8 · Cited by 10
Mental models: Rationality, representation and process
Green, D. W. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030478 · Cited by 10
Modal logic based theory for non-monotonic reasoning
Siegel, P., & Schwind, C. B. (1993) · Journal of Applied Non-Classical Logics · doi:10.1080/11663081.1993.10510796 · Cited by 10
Prioritizing Default Logic: Abridged Report
Brewka, G., & Eiter, T. (2007) · Cited by 10
Approximate databases: a support tool for approximate reasoning
Doherty, P., Magnusson, M., & Szałas, A. (2006) · Journal of Applied Non-Classical Logics · doi:10.3166/jancl.16.87-117 · Cited by 10
Deduction and degrees of belief
Over, D. E. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030570 · Cited by 10
Reformulating Temporal Action Logics in Answer Set Programming
Lee, J., & Palla, R. (2021) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v26i1.8229 · Cited by 10
Yet another proof of the strong equivalence between propositional theories and logic programs
Lee, J., & Palla, R. (2007) · Cited by 10
Chaos and Complexity in Financial Statements
Juárez, F. (2015) · IGI Global eBooks · doi:10.4018/978-1-4666-8468-3.ch075 · Cited by 10
A formal proof and simple explanation of the QuickXplain algorithm
Rodler, P. (2022) · Artificial Intelligence Review · doi:10.1007/s10462-022-10149-w · Cited by 10
Knowledge in Action: Integrating Cognitive Architectures and Ontologies
Oltramari, A., & Lebiere, C. J. (2012) · Theory and applications of natural language processing · doi:10.1007/978-3-642-31782-8_8 · Cited by 10
Artificial Intelligence Techniques for Modern Energy Applications
Kalogirou, S. A., Metaxiotis, K. S., & Mellit, A. (2010) · IGI Global eBooks · doi:10.4018/978-1-60566-737-9.ch001 · Cited by 11
Is Default Logic a Reinvention of Inductive-Statistical Reasoning?
Tan, Y. (1997) · Synthese · doi:10.1023/a:1004999920152 · Cited by 10
Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework.
Großkreutz, H., & Lakemeyer, G. (2000) · Cited by 10
Indefinite reasoning with definite rules
McCarty, L. T., & van der Meyden, R. (1991) · Cited by 10
A brief overview of over-constrained systems
Jampel, M. (1996) · Lecture notes in computer science · doi:10.1007/3-540-61479-6_16 · Cited by 10
The Representation of e-Contracts as Default Theories
Giannikis, G. K., & Daskalopulu, A. (2007) · Springer eBooks · doi:10.1007/978-3-540-73325-6_96 · Cited by 10
Definability and commonsense reasoning
Amati, G., Aiello, L. C., & Pirri, F. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(96)00049-5 · Cited by 10
History of circumscription
McCarthy, J. (1993) · Artificial Intelligence · doi:10.1016/0004-3702(93)90164-7 · Cited by 10
Self-citation
Reasoning about aspects with common sense
Ostermann, K. (2008) · International Conference on Aspect-Oriented Software Development (AOSD) · doi:10.1145/1353482.1353489 · Cited by 10
Default reasoning using maximum entropy and variable strength defaults
Bourne, R. A. (1999) · Cited by 10
Specifying Active Rules for Database Maintenance
Bertossi, L., & Pinto, J. A. (2000) · Lecture notes in computer science · doi:10.1007/3-540-46466-2_6 · Cited by 10
Logic-based reasoning about actions and plans in artificial intelligence
Lee, H., Tannock, J. D. T., & Williams, J. H. S. (1993) · The Knowledge Engineering Review · doi:10.1017/s0269888900000114 · Cited by 10
Dividing and conquering logic
McCarthy, J., & Amir, E. (2001) · Cited by 10
Self-citation

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)
DOI: 10.1016/0004-3702(80)90011-9
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
Licence: www.elsevier.com/tdm/userlicense/1.0/ (tdm)
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

Circumscription—A form of non-monotonic reasoning

Overview

Integrity signals

Verification

Claims the paper makes

Claims other papers make about this one

Citations

Cites

Cited by

Related

Metadata

Record

About these checks