Sciweavers

114
Voted
DLOG
2009
15 years 15 days ago
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
Oliver Gries
110
Voted
AAAI
1990
15 years 3 months ago
The Complexity of Closed World Reasoning and Circumscription
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
Marco Cadoli, Maurizio Lenzerini