Skip to search formSkip to main contentSkip to account menu

Closed-world assumption

Known as: Closed World Assumption, Generalized Closed World Assumption, Extended Closed World Assumption 
The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
Action description languageCircumscription (logic)DatabaseDefault logic

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Breaking the Closed World Assumption in Text Classification
Existing research on multiclass text classific a-tion mostly makes the closed world assum p-tion, which focus es on designing… 
2014
2014
Breaking the Closed-World Assumption in Stylometric Authorship Attribution
Stylometry is a form of authorship attribution that relies on the linguistic information found in a document. While there has… 
Highly Cited
2012
Highly Cited
2012
Analysis Strategies for Software Product Lines
Software-product-line engineering has gained considerable momentum in recent years, both in industry and in academia. A software… 
2009
2009
A Modular Algorithm for Exhaustive Map Searching Using Occupancy Based Maps
Searching for a target in a complex environment is a common problem encountered by many autonomous systems. This work considers… 
2001
2001
Fusion under the closed-world assumption
  • É. Grégoire
  • SPIE Defense + Commercial Sensing
  • 2001
  • Corpus ID: 119404472
In this paper, new operators for fusing logical knowledge-bases (Kbs) are proposed. They are defined in such a way that they can… 
2000
2000
Efficient Reasoning Using the Local Closed-World Assumption
We present a sound and complete, tractable inference method for reasoning with localized closed world assumptions (LCWA's) which… 
Highly Cited
1999
Highly Cited
1999
A logical framework for reasoning on data access control policies
We propose a logic formalism that naturally supports the encoding of complex security specifications. This formalism relies on a… 
Highly Cited
1994
Highly Cited
1994
Tractable Closed World Reasoning with Updates
1993
1993
The Defining Power of Stratified and Hierarchical Logic Programs
1989
1989
Weak Generalized Closed World Assumption
Explicit representation of negative information in logic programs is not feasible in many applications such as deductive… 
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)