Circumscription—A form of non-monotonic reasoning

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

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

EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE

McCarthy, J. (1981) · Elsevier eBooks · doi:10.1016/b978-0-934613-03-3.50035-0 · Cited by 327

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

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

Paraconsistent preferential reasoning by signed quantified Boolean formulae

Arieli, O. (2004) · Cited by 10

Samantics of normal and disjunctive logic programs a unifying framework

Przymusiński, T. C. (1995) · Lecture notes in computer science · doi:10.1007/bfb0030659 · Cited by 10

Structural Inertia and Organizational Change Revisited I: Architecture, Culture and Cascading ChangePreprint

Hannan, M. T., Polós, L., & Carroll, G. R. (2002) · RePEc: Research Papers in Economics · Cited by 10

Prioritized autoepistemic logic

Rintanen, J. (2005) · Springer eBooks · doi:10.1007/bfb0021976 · Cited by 10

COMPUTING PERFECT AND STABLE MODELS USING ORDERED MODEL TREES

Fernández, J. A., Minker, J., & Yahya, A. H. (1995) · Computational Intelligence · doi:10.1111/j.1467-8640.1995.tb00024.x · Cited by 10

F AN: Finding Accurate iNductions

Ranilla, J., & BAHAMONDE, A. (2002) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.2002.1002 · Cited by 10

Mental models, more or less

Polk, T. A. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030582 · Cited by 10

On the representation of commonsense knowledge by possibilistic reasoning

Yager, R. R. (1989) · International Journal of Man-Machine Studies · doi:10.1016/0020-7373(89)90018-7 · Cited by 10

On the equivalence of the static and disjunctive well-founded semantics and its computation

Brass, S., Dix, J., Niemelä, I., & Przymusiński, T. C. (2001) · Theoretical Computer Science · doi:10.1016/s0304-3975(00)00045-1 · Cited by 10

Nonmonotonic Inference

Frankish, K. (2006) · Elsevier eBooks · doi:10.1016/b0-08-044854-2/01204-9 · Cited by 10

Conditional and Preferential Logics: Proof Methods and Theorem Proving

Pozzato, G. L. (2010) · Cited by 10

Circumscribing equality

Rathmann, P. K., & Winslett, M. (1989) · International Joint Conference on Artificial Intelligence · Cited by 10

Free Choice Disjunction

Meyer, M. (2020) · Wiley eBooks · doi:10.1002/9781118788516.sem070 · Cited by 11

Non-Monotonic Reasoning by Axiomatic Extensions

Jäger, G. (1989) · Studies in logic and the foundations of mathematics · doi:10.1016/s0049-237x(08)70039-9 · Cited by 10

Models, Modelling, Metaphors and Metaphorical Thinking – From an Educational Philosophical View

Dohn, N. B. (2018) · Social Science Open Access Repository (GESIS – Leibniz Institute for the Social Sciences) · doi:10.12759/hsr.suppl.31.2018.46-58 · Cited by 11

Inductive reasoning for significant concept and pattern discovery in cognitive IoT

Jha, V., & Tripathi, P. (2024) · Service Oriented Computing and Applications · doi:10.1007/s11761-024-00416-9 · Cited by 9

Elaborating a Knowledge Base for Deep Lexical Semantics

Montazeri, N., & Hobbs, J. R. (2011) · Cited by 9

Goals in a Formal Theory of Commonsense Psychology

Hobbs, J. R., & Gordon, A. S. (2010) · Frontiers in artificial intelligence and applications · doi:10.3233/978-1-60750-535-8-59 · Cited by 9

User data discovery and aggregation: The CS-UDD algorithm

Carmagnola, F., Osborne, F., & Torre, I. (2014) · Information Sciences · doi:10.1016/j.ins.2014.02.111 · Cited by 9

Dynamic Foundations for Deontic Logic

Willer, M. (2016) · Oxford University Press eBooks · doi:10.1093/acprof:oso/9780198717928.003.0012 · Cited by 9

Lexically triggered veridicality inferences

White, A. S. (2019) · Handbook of pragmatics online/Handbook of pragmatics · doi:10.1075/hop.22.lex4 · Cited by 9

An Exploratory Study of Topic Importance in Requirements Elicitation Interviews

Burnay, C., Jureta, I., & Faulkner, S. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-07881-6_13 · Cited by 10

Plausible inferences and plausible reasoning

Финн, В. К. (1991) · Journal of Mathematical Sciences · doi:10.1007/bf01099201 · Cited by 9

New and used temporal models: An issue of time

Anger, F. D., & Clarke, E. M. (1993) · Applied Intelligence · doi:10.1007/bf00871719 · Cited by 9

A Logic for Inductive Probabilistic Reasoning

Jaeger, M. (2005) · Springer eBooks · doi:10.1007/1-4020-4631-6_2 · Cited by 9

Remedial interchange, contrary-to-duty obligation and commutation

Parent, X. (2003) · Journal of Applied Non-Classical Logics · doi:10.3166/jancl.13.345-375 · Cited by 9

Reasoning with conditionals in artificial intelligence

Kowalski, R. (2010) · Oxford University Press eBooks · doi:10.1093/acprof:oso/9780199233298.003.0015 · Cited by 9

A functional perspective on argumentation schemes

Wyner, A. (2016) · Argument & Computation · doi:10.3233/aac-160010 · Cited by 9

Default Reasoning and Generics

Cohen, A. (1997) · Computational Intelligence · doi:10.1111/0824-7935.00050 · Cited by 9

Rules for Reasoning from Knowledge and Lack of Knowledge

Walton, D. (2006) · Philosophia · doi:10.1007/s11406-006-9028-6 · Cited by 9

Nonmonotonic Reasoning and Databases

Bossu, G., & Siegel, P. (1984) · Springer eBooks · doi:10.1007/978-1-4615-9385-0_9 · Cited by 9

Complexity of Prioritized Default Logics

Rintanen, J. (1998) · Journal of Artificial Intelligence Research · doi:10.1613/jair.554 · Cited by 9

On the role of prototypes in appellate legal argument (abstract)

McCarty, L. T. (1991) · International Conference on Artificial Intelligence and Law · doi:10.1145/112646.112668 · Cited by 9

Inductive learning and defeasible inference

Korb, K. B. (1995) · Journal of Experimental & Theoretical Artificial Intelligence · doi:10.1080/09528139508953814 · Cited by 9

Complexity of propositional nested circumscription and nested abnormality theories

Cadoli, M., Eiter, T., & Gottlob, G. (2005) · ACM Transactions on Computational Logic · doi:10.1145/1055686.1055688 · Cited by 9

A number of questions about a question of number

Garnham, A. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030454 · Cited by 9

Computing minimal models, stable models and answer sets

Lonc, Z., & Truszczyński, M. (2006) · Theory and Practice of Logic Programming · doi:10.1017/s1471068405002607 · Cited by 9

A Quantitative Approach to Approximate Reasoning in Rule-based Expert Systems

Prade, H. M. (1988) · Springer eBooks · doi:10.1007/978-3-642-83314-4_3 · Cited by 9

Logical animation

Costa, M. C., Cunningham, R. J., & Booth, J. (1990) · doi:10.5555/100296.100317 · Cited by 9

The Family of Default Logics

Schaub, T. H. (1998) · Springer eBooks · doi:10.1007/978-94-017-1739-7_4 · Cited by 9

Permissive planning: a machine learning approach to linking internal and external worlds

DEJONG, G. F., & Bennett, S. (1993) · National Conference on Artificial Intelligence · Cited by 9

On deductive planning and the frame problem

Hölldobler, S. (2005) · Springer eBooks · doi:10.1007/bfb0013045 · Cited by 9

Efficient Reasoning about Rich Temporal Domains

Shoham, Y. (1989) · Springer eBooks · doi:10.1007/978-94-009-2448-2_7 · Cited by 9

On rules, models and understanding

Evans, J. S. B. T. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030399 · Cited by 9

Disjunctive Logic Program = Horn Program + Control Program

Lu, W., & Furbach, U. (1998) · Lecture notes in computer science · doi:10.1007/3-540-49545-2_3 · Cited by 9

A tutorial on Nonmonotonic Reasoning

Brewka, G., Dix, J., & Konolige, K. (1993) · Lecture notes in computer science · doi:10.1007/bfb0030386 · Cited by 9

A circumscribed diagnosis engine

Raiman, O. (1990) · Lecture notes in computer science · doi:10.1007/3-540-53104-1_34 · Cited by 9

Coping with indefinite and negative data in deductive databases: A survey

Chisholm, P., Chen, G., Ferbrache, D., Thanisch, P., & Williams, M. H. (1987) · Data & Knowledge Engineering · doi:10.1016/0169-023x(87)90022-x · Cited by 9

Commonsense axiomatizations for logic programs

Gelder, A. V., & Schlipf, J. S. (1993) · The Journal of Logic Programming · doi:10.1016/0743-1066(93)90030-k · Cited by 9

Hierarchical censored production rules (HCPRs) system employing the dempster-shafer uncertainty calculus

Bharadwaj, K., Neerja, & Goel, G. C. (1994) · Information and Software Technology · doi:10.1016/0950-5849(94)90054-x · Cited by 9

Knowledge Representation from a Deductive Point of View

Bibel, W. (1983) · IFAC Proceedings Volumes · doi:10.1016/s1474-6670(17)61582-9 · Cited by 9

Understanding the QuickXPlain Algorithm: Simple Explanation and Formal ProofPreprint

Rodler, P. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2001.01835 · Cited by 9

The rise of deep learning: AI and engineering applications under the spotlight of the 2024 Nobel prize

Chen, G., & Han, Z. S. (2025) · Intelligent geoengineering. · doi:10.1016/j.ige.2025.03.002 · Cited by 11

A new integrated neurosymbolic approach for crop-yield prediction using environmental data and satellite imagery at field scale

Meghraouı, K., Racharak, T., Kadi, K. A. E., Bensiali, S., & Sebari, I. (2025) · Artificial Intelligence in Geosciences · doi:10.1016/j.aiig.2025.100125 · Cited by 8

An Adaptive Logic for Rational Closure

Straßer, C. (2013) · Trends in logic · doi:10.1007/978-3-319-00792-2_7 · Cited by 8

Instantiating Knowledge Bases in Abstract Argumentation Frameworks

Wyner, A., Bench-Capon, T. J. M., & Dunne, P. E. S. (2009) · Cited by 8

Answer Set; Programming?

Cabalar, P. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-20832-4_21 · Cited by 8

The Hypothetical Syllogism

Morreau, M. (2008) · Journal of Philosophical Logic · doi:10.1007/s10992-008-9098-y · Cited by 8

Reconciling OWL and Rules

Carral, D., Krisnadhi, A. A., Maier, F. W., Sengupta, K., & Hitzler, P. (2011) · CORE Scholar (Wright State University) · Cited by 8

Circumscription Policies for Induction

Inoue, K., & Saito, H. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30109-7_15 · Cited by 8

Semantics of the Distributed Ontology Language: Institutes and Institutions

Mossakowski, T., Kutz, O., & Lange, C. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-37635-1_13 · Cited by 8

The empirical study of norms is just what we are missing

Achourioti, T., Fugard, A. J. B., & Stenning, K. (2014) · Frontiers in Psychology · doi:10.3389/fpsyg.2014.01159 · Cited by 8

Evaluating the effect of semi-normality on the expressiveness of defaults

Janhunen, T. (2003) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00385-5 · Cited by 8

On the number of minimal transversals in 3-uniform hypergraphs

Lonc, Z., & Truszczyński, M. (2007) · Discrete Mathematics · doi:10.1016/j.disc.2007.07.024 · Cited by 8

Reasoning Processes as Epistemic Dynamics

Velázquez–Quesada, F. R. (2014) · Axiomathes · doi:10.1007/s10516-014-9255-6 · Cited by 8

The Discrete Event Calculus with Branching Time

Mueller, E. T. (2014) · Elsevier eBooks · doi:10.1016/b978-0-12-801416-5.09982-4 · Cited by 8

Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation

Faber, W., Vallati, M., Cerutti, F., & Giacomin, M. (2016) · Frontiers in artificial intelligence and applications · doi:10.3233/978-1-61499-672-9-966 · Cited by 8

On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning

Li, Z., Oren, N., & Parsons, S. (2018) · Lecture notes in computer science · doi:10.1007/978-3-319-75553-3_5 · Cited by 8

Gelfond–Zhang aggregates as propositional formulas

Cabalar, P., Fandinno, J., Schaub, T. H., & Schellhorn, S. (2019) · Artificial Intelligence · doi:10.1016/j.artint.2018.10.007 · Cited by 8

SAT-Based Data Mining

Boudane, A., Jabbour, S., Saïs, L., & Salhi, Y. (2018) · International Journal of Artificial Intelligence Tools · doi:10.1142/s021821301840002x · Cited by 8

A Teledermatology Scale-Up Framework and Roadmap for Sustainable Scaling: Evidence-Based Development

Walters, L. E. M., Scott, R. E., & Mars, M. (2018) · Journal of Medical Internet Research · doi:10.2196/jmir.9940 · Cited by 9

First-order stable model semantics with intensional functions

Bartholomew, M., & Lee, J. (2019) · Artificial Intelligence · doi:10.1016/j.artint.2019.01.001 · Cited by 8

Scaling up CCG-Based Plan Recognition via Monte-Carlo Tree Search

Kantharaju, P., Ontañón, S., & Geib, C. (2019) · IEEE Conference on Games (CoG) · doi:10.1109/cig.2019.8848013 · Cited by 9

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming

Arias, J., Chen, Z., Carro, M., & Gupta, G. (2020) · Lecture notes in computer science · doi:10.1007/978-3-030-45260-5_9 · Cited by 8

When is Reasoning Nonmonotonic?

Rankin, T. L. (1988) · Studies in cognitive systems · doi:10.1007/978-94-009-2699-8_10 · Cited by 8

MGR: An Architecture for Problem Solving in Unstructured Task Environments.

Fields, C., Coombs, M. J., & Hartley, R. T. (1988) · International Syposium on Methodologies for Intelligent Systems · Cited by 8

Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation

Lifschitz, V. (1989) · Springer eBooks · doi:10.1007/978-94-009-2448-2_5 · Cited by 8

Multilevel data summarization from information systems: a rule + exception approach

Wang, J., Zhao, M., Zhao, K., & Han, S. (2003) · AI Communications · Cited by 8

Explanatory diagnoses and their characterization by circumscription

Besnard, P., & Cordier, M.-O. (1994) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/bf01530738 · Cited by 8

Model-Based Diagnosis and Conditional Logic

Obeid, N. (2001) · Applied Intelligence · doi:10.1023/a:1008322227554 · Cited by 8

A stratified first order logic approach for access control

Salem Benferhat, A., & Baida, R. E. (2004) · International Journal of Intelligent Systems · doi:10.1002/int.20026 · Cited by 8

First-order logic characterization of program properties

Wang, K., & Yuan, L. Y. (1994) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/69.298170 · Cited by 8

Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example

Sombé, L. (1990) · International Journal of Intelligent Systems · doi:10.1002/int.4550050404 · Cited by 8

On the Use of Ontologies for an Optimal Representation and Exploration of the Web

Guelfi, N., & Pruski, C. (2006) · Cited by 8

Predicate Answer Set Programming with Coinduction

Gupta, G., & Min, R. (2010) · Cited by 8

Deductive reasoning: What are taken to be the premises and how are they interpreted?

Fillenbaum, S. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030429 · Cited by 8

Synthesis of proof procedures for default reasoning

Dũng, P. M., Kowalski, R., & Toni, F. (1997) · Lecture notes in computer science · doi:10.1007/3-540-62718-9_18 · Cited by 8

Some extensions to the closed world assumption in databases

Naqvi, S. A. (1986) · Lecture notes in computer science · doi:10.1007/3-540-17187-8_45 · Cited by 8

Management of Stratified Databases

Apt, K. R., & Pugin, J.-M. (1987) · Data Archiving and Networked Services (DANS) · Cited by 8

Intended models, circumscription and commonsense reasoning

Zadrozny, W. W. (1987) · Cited by 8

Network languages for intelligent control

Stilman, B. (1996) · Computers & Mathematics with Applications · doi:10.1016/0898-1221(95)00207-3 · Cited by 8

Default reasoning in natural language processing

Zernik, U., & Brown, A. L. (1988) · International Conference on Computational Linguistics · doi:10.3115/991719.991799 · Cited by 8

Casual reasoning in planning1

Wilkins, D. E. (1988) · Computational Intelligence · doi:10.1111/j.1467-8640.1988.tb00286.x · Cited by 8

Toward an expert system for identification of minerals in thin section

West, J. (1985) · Mathematical Geology · doi:10.1007/bf01031614 · Cited by 8

Heuristic networks for space exploration

Stilman, B. (1994) · Telematics and Informatics · doi:10.1016/0736-5853(94)90028-0 · Cited by 8

The argument for mental models is unsound

Fetzer, J. H. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x00030417 · Cited by 8

Mental models and nonmonotonic reasoning

Nick Chater, A. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x0003034x · Cited by 8

What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic

Varzinczak, I. J. ́. (2006) · HAL · Cited by 8

Systems that detect and repair their own mistakes

Purang, K., & Perlis, D. R. (2001) · Cited by 8

A dichotomy in the complexity of propositional circumscription

Kirousis, L. M., & Lolaitis, P. G. (2002) · ACM/IEEE Symposium on Logic in Computer Science (LICS) · doi:10.1109/lics.2001.932484 · Cited by 8

Formal problems

McCarthy, J. (1979)

Some Results on Circumscription.

Lifschitz, V. (1984) · Non-Monotonic Reasoning · Cited by 34

Circumscriptive reasoning

Halland, K. J. (1994) · Unisa Institutional Repository (University of South Africa)

CIRCUMSCRIPTION: A FORMALISM OF NONMONOTONIC REASONING

Thirumalai, M. S. (1990)

Nonmonotonicity and the scope of reasoning: preliminary report

Etherington, D. W., Kraus, S., & Perlis, D. R. (1990) · Cited by 7