Sciweavers

86
Voted
DLOG
2009
14 years 9 months 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
85
Voted
AAAI
1990
15 years 24 days 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