Circumscription - A Form of Non-Monotonic Reasoning

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Learning to Solve Arithmetic Word Problems with Verb Categorization (2014, methodology): “To handle this missing information, we use the circumscription assumption (McCarthy, 1980).”
NaturalLI: Natural Logic Inference for Common Sense Reasoning (2014, background): “Work by Reiter and McCarthy (Reiter, 1980; McCarthy, 1980) attempts to reason about the truth of a consequent in the absence of strict logical entailment.”
General Logical Databases and Programs: Default Logic Semantics and Stratification (1991, background): “In the past few years, a number of non-monotonic logics have been introduced for default reasoning (McCarthy, 1980; McDermott and Doyle, 1980; Reiter, 1980).”
Plan Recognition as Planning (2009, methodology): “Making these assumptions allows Kautz to formulate a model theory for plan recognition, by borrowing the model theory of circumscription (McCarthy, 1980).”
Supporting ontological analysis of taxonomic relationships (2001, background): “By the early 1980s, researchers in AI and especially in Knowledge Representation had realized that work in Ontology was relevant to the necessary process of describing the world for intelligent systems to reason about and act in [29].”
Thinking Like a Skeptic: Defeasible Inference in Natural Language (2020, methodology): “In circumscription (McCarthy, 1980), defaults are expressed in natural language (“a bird will fly if it is not abnormal”).”