Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,376,792 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Artificial intelligence
Closed-world assumption
Defeasible reasoning
Event calculus
Expand
Broader (1)
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Phylogenetic Methods in Biogeography
F. Ronquist
,
Isabel Sanmart
2011
Corpus ID: 55404757
Phylogenetic approaches to biogeography are rapidly becoming more sophisticated. Four types of models are being explored in the…
Expand
Highly Cited
2010
Highly Cited
2010
Phylogeny and circumscription of Sapindaceae revisited: molecular sequence data, morphology and biogeography support recognition of a new family, Xanthoceraceae.
S. Buerki
,
P. Lowry
,
N. Alvarez
,
Sylvain G. Razafimandimbison
,
P. Küpfer
,
M. Callmander
2010
Corpus ID: 40897710
Background and aims Recent studies have adopted a broad definition of Sapindaceae that includes taxa traditionally placed in…
Expand
Highly Cited
2008
Highly Cited
2008
Phylogenetic relationships of subfamilies and circumscription of tribes in the family Hesperiidae (Lepidoptera: Hesperioidea)
A. Warren
,
Joshua R. Ogawa
,
A. Brower
2008
Corpus ID: 53492574
A comprehensive tribal‐level classification for the world’s subfamilies of Hesperiidae, the skipper butterflies, is proposed for…
Expand
Highly Cited
2006
Highly Cited
2006
Description Logics with Circumscription
P. Bonatti
,
C. Lutz
,
F. Wolter
International Conference on Principles of…
2006
Corpus ID: 3245532
We show that circumscription can be used to extend description logics (DLs) with nonmonotonic features in a straightforward and…
Expand
Highly Cited
2005
Highly Cited
2005
Phylogeny of the tribe Cinchoneae ( Rubiaceae ) , its position in Cinchonoideae , and description of a new genus , Ciliosemina
L. Andersson
,
A. Antonelli
2005
Corpus ID: 44183433
Traditionally (e.g., Candolle, 1830; Schumann, 1891, 1897; Robbrecht, 1988), the tribe Cinchoneae has been circumscribed to…
Expand
Highly Cited
1993
Highly Cited
1993
Phylogeny of thePolygalaceae and its taxonomic implications
B. Eriksen
Plant Systematics and Evolution
1993
Corpus ID: 32590790
The phylogeny of thePolygalaceae is analysed cladistically. The two tribesXanthophylleae andMoutabeae are maintained in their…
Expand
Highly Cited
1991
Highly Cited
1991
Open Information Systems Semantics for Distributed Artificial Intelligence
C. Hewitt
Artificial Intelligence
1991
Corpus ID: 26775528
Highly Cited
1991
Highly Cited
1991
Prosodic circumscription in Choctaw morphology
L. Lombardi
,
J. McCarthy
Phonology
1991
Corpus ID: 62372278
The theory of PROSODIC CIRCUMSCRIPTION (McCarthy & Prince 1990a) is a general approach to the problem of limiting the domain of…
Expand
Highly Cited
1986
Highly Cited
1986
Pointwise Circumscription: Preliminary Report
V. Lifschitz
AAAI Conference on Artificial Intelligence
1986
Corpus ID: 128238244
Circumscription is the minimization of predicates subject to restrictions expressed by predicate formulas. We propose a modified…
Expand
Highly Cited
1985
Highly Cited
1985
On the adequacy of predicate circumscription for closed‐world reasoning
David W. Etherington
,
Robert E. Mercer
,
R. Reiter
International Conference on Climate Informatics
1985
Corpus ID: 24318976
We focus on McCarthy's method of predicate circumscription in order to establish various results about its consistency, and about…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE