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

Reconstructing force-dynamic models from video sequences

Siskind, J. M. (2003) · Artificial Intelligence · doi:10.1016/s0004-3702(03)00112-7 · Cited by 30

Learning to Plan in Continuous Domains

DeJong, G. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90038-8 · Cited by 46

The Tower of Babel problem: making data make sense with Basic Formal Ontology

Iliadis, A. (2019) · Online Information Review · doi:10.1108/oir-07-2018-0210 · Cited by 29

Finding admissible and preferred arguments can be very hard

Dimopoulos, Y., Nebel, B., & Toni, F. (2000) · Cited by 29

The prospects for building truly intelligent machines

Waltz, D. L. (1989) · Cited by 29

Reasoning with minimal models: Efficient algorithms and applications

Ben-Eliyahu, R., & Palopoli, L. (1994) · Principles of Knowledge Representation and Reasoning · doi:10.1016/b978-1-4832-1452-8.50101-9 · Cited by 29

The MGR algorithm and its application to the generation of explanations for novel events

Coombs, M. J., & Hartley, R. T. (1987) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(87)80024-x · Cited by 29

Artificial Dreams: Subject Index

Ekbia, H. R. (2008) · Cited by 29

Elaboration tolerance through object-orientation

Gustafsson, J., & Kvarnström, J. (2003) · Artificial Intelligence · doi:10.1016/j.artint.2003.08.004 · Cited by 28

Towards a logical reconstruction of a theory for locally closed databases

Denecker, M., Cortés-Calabuig, Á., Bruynooghes, M., & Arieli, O. (2008) · ACM Transactions on Database Systems · doi:10.1145/1806907.1806914 · Cited by 28

Nonmonotonic Reasoning

Reiter, R. (1988) · Elsevier eBooks · doi:10.1016/b978-0-934613-67-5.50016-2 · Cited by 28

Towards a Logical Reconstruction of Relational Database Theory

Reiter, R. (1989) · Elsevier eBooks · doi:10.1016/b978-0-934613-53-8.50025-x · Cited by 28

Defaults in specifications

Ryan, M. D. (2002) · IEEE International Requirements Engineering Conference (RE) · doi:10.1109/isre.1993.324823 · Cited by 28

All i know: an abridged report

Levesque, H. J. (1987) · National Conference on Artificial Intelligence · Cited by 28

From environments to representations—a mathematical theory of artificial perceptions

Arzi‐Gonczarowski, Z., & Lehmann, D. J. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00061-7 · Cited by 27

Chapter 1 Knowledge Representation and Classical Logic

Lifschitz, V., Morgenstern, L., & Plaisted, D. A. (2008) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(07)03001-5 · Cited by 27

An extended approach for Dempster-Shafer theory

Campos, F., & Cavalcante, S. (2004) · IEEE Workshop on Mobile Computing Systems and Applications (WMCSA) · doi:10.1109/iri.2003.1251435 · Cited by 27

Reasoning with minimal models: efficient algorithms and applications

Ben‐Eliyahu‐Zohary, R., & Palopoli, L. (1997) · Artificial Intelligence · doi:10.1016/s0004-3702(97)00060-x · Cited by 27

Lexicographic priorities in default logic

Rintanen, J. (1998) · Artificial Intelligence · doi:10.1016/s0004-3702(98)00097-6 · Cited by 27

Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations

Sim, K. M. (2001) · Artificial Intelligence Review · doi:10.1023/a:1011049617655 · Cited by 27

Mental models or formal rules?

Johnson-Laird, P. N., & Byrne, R. M. J. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x0003065x · Cited by 28

A GENERALIZED VIEW OF NONMONOTONIC KNOWLEDGE: A SET OF THEORETIC PERSPECTIVE

Yager, R. R. (1988) · International Journal of General Systems · doi:10.1080/03081078808935007 · Cited by 27

Computing protected circumscription

Minker, J., & Perlis, D. R. (1985) · The Journal of Logic Programming · doi:10.1016/s0743-1066(85)80002-9 · Cited by 27

OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS

Anglberger, A., Gratzl, N., & Roy, O. (2015) · The Review of Symbolic Logic · doi:10.1017/s1755020315000209 · Cited by 26

Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories

Saribatur, Z. G., Patoğlu, V., & Erdem, E. (2018) · Autonomous Robots · doi:10.1007/s10514-018-9721-x · Cited by 26

Preferential logics: the predicate calculus case

Lehmann, D. J., & Magidor, M. (1990) · Theoretical Aspects of Rationality and Knowledge · Cited by 26

Chapter 6 Nonmonotonic Reasoning

Brewka, G., Niemelä, I., & Truszczyński, M. (2008) · Foundations of artificial intelligence · doi:10.1016/s1574-6526(07)03006-4 · Cited by 26

An activity-centric argumentation framework for assistive technology aimed at improving health

Guerrero, E., Nieves, J. C., & Lindgren, H. (2016) · Argument & Computation · doi:10.3233/aac-160004 · Cited by 26

Enhancing context knowledge repositories with justifiable exceptions

Bozzato, L., Eiter, T., & Serafini, L. (2018) · Artificial Intelligence · doi:10.1016/j.artint.2017.12.005 · Cited by 26

Local Closed World Semantics: Keep it simple, stupid!

Krisnadhi, A. A., Sengupta, K., & Hitzler, P. (2011) · Journal of Bioresource Management · Cited by 26

A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$

Grimm, S., & Hitzler, P. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-05082-4_4 · Cited by 26

Natural language, knowledge representation, and logical form

Allen, J. F. (1993) · Cambridge University Press eBooks · doi:10.1017/cbo9780511659478.008 · Cited by 26

Reasoning About Action II: The Qualification Problem

Ginsberg, M. L., & Smith, D. E. (1987) · Elsevier eBooks · doi:10.1016/b978-0-934613-32-3.50021-6 · Cited by 26

An efficient method for eliminating varying predicates from a circumscription

Cadoli, M., Eiter, T., & Gottlob, G. (1992) · Artificial Intelligence · doi:10.1016/0004-3702(92)90051-x · Cited by 26

Reasoning in the presence of inconsistency

Lin, F. (1987) · Rare & Special e-Zone (The Hong Kong University of Science and Technology) · Cited by 26

Nonmonotonic default modal logics

Tiomkin, M., & Kaminski, M. (1991) · Journal of the ACM · doi:10.1145/115234.115350 · Cited by 26

Logic and Artificial Intelligence

Thomason, R. H. (2009) · Oxford University Press eBooks · doi:10.1093/acprof:oso/9780195137316.003.0047 · Cited by 26

Disjunctive deductive databases

Fernández, J. A., & Minker, J. (2005) · Springer eBooks · doi:10.1007/bfb0013073 · Cited by 26

Theme with variations : a context-based analysis of focus

Balogh, K. (2009) · UvA-DARE (University of Amsterdam) · Cited by 26

Closing the AI Knowledge GapPreprint

Epstein, Z., Payne, B. H., Shen, J. H., Dubey, A., Felbo, B., Groh, M., Obradovich, N., Cebrián, M., & Rahwan, I. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1803.07233 · Cited by 39

Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology

Bartolini, C., Giurgiu, A., Lenzini, G., & Robaldo, L. (2017) · Communications in computer and information science · doi:10.1007/978-3-319-67468-1_4 · Cited by 25

Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach

Aliseda, A. (2003) · Synthese · doi:10.1023/a:1022127429205 · Cited by 25

Capturing Parallel Circumscription with Disjunctive Logic Programs

Janhunen, T., & Oikarinen, E. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30227-8_14 · Cited by 25

A Framework for Combining Rules and Geo-ontologies

Smart, P. D., Abdelmoty, A. I., El-Geresy, B. A., & Jones, C. B. (2007) · Springer eBooks · doi:10.1007/978-3-540-72982-2_10 · Cited by 25

A Trichotomy in the Complexity of Propositional Circumscription

Nordh, G. (2005) · Lecture notes in computer science · doi:10.1007/978-3-540-32275-7_18 · Cited by 25

Logic and Artificial Intelligence: Divorced, Still Married, Separated ...?

Bringsjord, S., & Ferrucci, D. A. (1998) · Minds and Machines · doi:10.1023/a:1008250617134 · Cited by 26

Autoepistemic circumscription and logic programming

Yuan, L. Y., & You, J.-H. (1993) · Journal of Automated Reasoning · doi:10.1007/bf00881833 · Cited by 25

A general user modelling facility

Kass, R., & Finin, T. (1988) · CHI Conference on Human Factors in Computing Systems · doi:10.1145/57167.57191 · Cited by 25

Reason‐based logic: A logic for reasoning with rules and reasons

Hage, J. C., & Bart Verheij, A. (1994) · Information & Communications Technology Law · doi:10.1080/13600834.1994.9965701 · Cited by 25

An overview of automated reasoning

Post, S. D., & Sage, A. P. (1990) · IEEE Transactions on Systems Man and Cybernetics · doi:10.1109/21.47822 · Cited by 25

Uncertainty and the suppression of inferences

Politzer, G. (2005) · Thinking & Reasoning · doi:10.1080/13546780442000088 · Cited by 25

A mathematical programming approach to inference with the capability of implementing default rules

Yager, R. R. (1988) · International Journal of Man-Machine Studies · doi:10.1016/s0020-7373(88)80074-9 · Cited by 25

A comparative study of open default theories

Kaminski, M. (1995) · Artificial Intelligence · doi:10.1016/0004-3702(94)00035-y · Cited by 25

Foundation of logic programming based on inductive definition

Hagiya, M., & Sakurai, T. (1984) · New Generation Computing · doi:10.1007/bf03037052 · Cited by 25

Qualitative spatial change: space-time histories and continuity

Hazarika, S. M. (2005) · White Rose eTheses Online (University of Leeds, The University of Sheffield, University of York) · Cited by 25

The complexity of Model-Preference Default theories

Selman, B., & Kautz, H. (1988) · Lecture notes in computer science · doi:10.1007/3-540-50701-9_23 · Cited by 25

Characterising Equilibrium Logic and Nested Logic Programs: Reductions and ComplexityPreprint

Pearce, D., Tompits, H., & Woltran, S. (2007) · Cited by 25

Epistemic Resistance Moves

Bledin, J., & Rawlins, K. (2016) · Proceedings from Semantics and Linguistic Theory · doi:10.3765/salt.v26i0.3812 · Cited by 24

Mechanized Support for Assurance Case Argumentation

Rushby, J. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-10061-6_20 · Cited by 24

The logical content of theories of deduction

Hodges, W. (1993) · Behavioral and Brain Sciences · doi:10.1017/s0140525x0003048x · Cited by 24

Dynamic Logics of Belief Change

van Benthem, J., & Smets, S. (2015) · UvA-DARE (University of Amsterdam) · Cited by 24

Data Mining Methods for Discovering Interesting Exceptions from an Unsupervised Table

Suzuki, E. (2006) · Zenodo (CERN European Organization for Nuclear Research) · doi:10.3217/jucs-012-06-0627 · Cited by 23

Ontologies in Computer Science

Gandon, F. L. (2010) · IGI Global eBooks · doi:10.4018/978-1-61520-859-3.ch001 · Cited by 24

The Logical Approach to Temporal Reasoning

Augusto, J. C. (2001) · Artificial Intelligence Review · doi:10.1023/a:1012551818243 · Cited by 24

Network languages for concurrent multiagent systems

Stilman, B. (1997) · Computers & Mathematics with Applications · doi:10.1016/s0898-1221(97)00102-8 · Cited by 24

In the quest of the missing link

Bittencourt, G. (1997) · Cited by 24

Indeterminacy: A challenge to logic‐based models of legal reasoning

Berman, D. H., & Hafner, C. D. (1987) · International Review of Law Computers & Technology · doi:10.1080/13600869.1987.9966251 · Cited by 24

DEFAULT LOGICS: A UNIFIED VIEW

Froidevaux, C., & Mengin, J. (1994) · Computational Intelligence · doi:10.1111/j.1467-8640.1994.tb00168.x · Cited by 24

Strong and explicit negation in non-monotonic reasoning and logic programming

Alferes, J. J., Pereira, L. M., & Przymusiński, T. C. (1996) · Lecture notes in computer science · doi:10.1007/3-540-61630-6_10 · Cited by 24

Representation theory for default logic

Marek, V. W., Jan Treur, A., & Truszczyński, M. (1997) · Annals of Mathematics and Artificial Intelligence · doi:10.1023/a:1018977721624 · Cited by 24

Knowledge Representation and Reasoning for Mixed-Initiative Planning.

Ferguson, G. (1995) · doi:10.21236/ada293628 · Cited by 24

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with AggregatesPreprint

Alviano, M., Calimeri, F., Faber, W., Leone, N., & Perri, S. (2014) · arXiv (Cornell University) · doi:10.48550/arxiv.1401.4596 · Cited by 24

Ontology

Gruber, T. (2018) · Encyclopedia of Database Systems · doi:10.1007/978-1-4614-8265-9_1318 · Cited by 24

How does a box work? A study in the qualitative dynamics of solid objects

Davis, E. (2010) · Artificial Intelligence · doi:10.1016/j.artint.2010.04.006 · Cited by 23

THE PHILOSOPHY OF AI AND THE AI OF PHILOSOPHY

McCarthy, J. (2008) · Elsevier eBooks · doi:10.1016/b978-0-444-51726-5.50022-4 · Cited by 24

An empirical evaluation of the inferential capacity of defeasible argumentation, non-monotonic fuzzy reasoning and expert systems

Rizzo, L., & Longo, L. (2020) · Expert Systems with Applications · doi:10.1016/j.eswa.2020.113220 · Cited by 22

Prima facie and seeming duties

Morreau, M. (1996) · Studia Logica · doi:10.1007/bf00370669 · Cited by 23

Commonsense Reasoning, Logic, and Human Rationality

Oaksford, M., & Nick Chater, A. (2002) · doi:10.1093/0195147669.003.0009 · Cited by 23

Non-monotonic fuzzy reasoning

Castro, J. L., Trillas, E., & Zurita, J. M. (1998) · Fuzzy Sets and Systems · doi:10.1016/s0165-0114(96)00244-8 · Cited by 23

Learning to reason the non monotonic case

Roth, D. (1995) · Cited by 23

Comparing space efficiency of propositional knowledge representation formalisms

Cadoli, M., Donini, F. M., Liberatore, P., & Schaerf, M. (1996) · Cited by 23

A sequent calculus for skeptical Default Logic

Bonatti, P. A., & Olivetti, N. (1997) · Lecture notes in computer science · doi:10.1007/bfb0027408 · Cited by 23

Multiagent Compromises, Joint Fixpoints, and Stable Models

Buccafurri, F., & Gottlob, G. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45628-7_21 · Cited by 23

The Well-Founded Semantics in Normal Logic Programs with Uncertainty

Loyer, Y., & Straccia, U. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45788-7_9 · Cited by 23

SET-VAR

Bledsoe, W. W., & Feng, G. (1993) · Journal of Automated Reasoning · doi:10.1007/bf00881869 · Cited by 23

Norms in Multiagent Systems: some Implementation Guidelines

Vázquez-Salceda, J., & Dignum, F. P. M. (2004) · Cited by 23

On Loop Formulas with VariablesPreprint

Lee, J., & Meng, Y. (2023) · arXiv (Cornell University) · doi:10.48550/arxiv.2307.10226 · Cited by 23

Modelling Structured Domains Using Description Graphs and Logic Programming

Magka, D., Motik, B., & Horrocks, I. R. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-30284-8_29 · Cited by 22

Safe Formulas in the General Theory of Stable Models (Preliminary Report)

Lee, J., Lifschitz, V., & Palla, R. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-89982-2_55 · Cited by 22

How to Complete an Interactive Configuration Process?

Janota, M., Botterweck, G., Grigore, R., & Marques-Silva, J. P. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-11266-9_44 · Cited by 22

Sequent calculi for default and autoepistemic logics

Bonatti, P. A. (1996) · Lecture notes in computer science · doi:10.1007/3-540-61208-4_9 · Cited by 22

APPROXIMATE INFERENCE IN DEFAULT LOGIC AND CIRCUMSCRIPTION

Cadoli, M., & Schaerf, M. (1994) · Fundamenta Informaticae · doi:10.3233/fi-1994-21126 · Cited by 22

Rule identification from Web pages by the XRML approach

Kang, J., & Lee, J. K. (2005) · Decision Support Systems · doi:10.1016/j.dss.2005.01.004 · Cited by 22

A semantic approach to nonmonotonic reasoning: Inference operations and choice

Lindström, S. (2022) · Theoria · doi:10.1111/theo.12405 · Cited by 22

Embedding circumscriptive theories in general disjunctive programs

Sakama, C., & Inoue, K. (1995) · Lecture notes in computer science · doi:10.1007/3-540-59487-6_25 · Cited by 22

Some Lectures on Modal Logic

Nerode, A. (1991) · Springer eBooks · doi:10.1007/978-3-642-76799-9_8 · Cited by 22

Evolution of Conventional Meaning and Conversational Principles

van Rooij, R. (2004) · Springer eBooks · doi:10.1007/1-4020-4094-6_6 · Cited by 23

REASONED ASSUMPTIONS AND RATIONAL PSYCHOLOGY

Doyle, J. (1994) · Fundamenta Informaticae · doi:10.3233/fi-1994-201232 · Cited by 22

The problem with solutions to the frame problem

Morgenstern, L. (1996) · Cited by 22

Circumscribing datalog: Expressive power and complexity

Cadoli, M., & Palopoli, L. (1998) · Theoretical Computer Science · doi:10.1016/s0304-3975(97)00108-4 · Cited by 22

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