Circumscription|a Form of Nonmonotonic Reasoning

By John McCarthy. 1979

Subfields: Knowledge Graphs & Representation

How researchers see this paper

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

In Knowledge Graphs & Representation

1. Patrick Doyle
2. Eyal Amir
3. Nate Kushman
4. Nicole Bidoit
5. Oren Etzioni
6. Christine Froidevaux
7. Hannaneh Hajishirzi
8. Mohammad Javad Hosseini

Citations in the corpus

• Learning to Solve Arithmetic Word Problems with Verb Categorization (2014, methodology): “To handle this missing information, we use the circumscription assumption (McCarthy, 1980).”
• Adventure Games: A Challenge for Cognitive Robotics (2002, background): “, (McCarthy 1980; Reiter 1980)) to record such hypotheses, absorb such information from the environment or hold such background knowledge.”
• 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).”