Circumscription (logic)

Known as: Circumscription 
Circumscription is a non-monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
sThe definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In recent years, a great deal of attention has been devoted to logics of common-sense reasoning. Among the candidates proposed… (More)
Is this relevant?
1993
1993
We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
McCarthy's theory of circumscription appears to be the most powerful among various formalizations of nonmonotonic reasoning… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Circumscription is the minimization of predicates subject to restrictions expressed by predicate formulas. We propose a modified… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Circumscription is a transformation of predicate formulas proposed by John McCarthy for the purpose of formalizing non-monotonic… (More)
Is this relevant?
Highly Cited
1984
Highly Cited
1984
We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy… (More)
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain… (More)
Is this relevant?