Sciweavers

70 search results - page 1 / 14
» Handling Locally Stratified Inconsistent Knowledge Bases
Sort
View
57
Voted
SLOGICA
2002
47views more  SLOGICA 2002»
14 years 9 months ago
Handling Locally Stratified Inconsistent Knowledge Bases
Salem Benferhat, Laurent Garcia
77
Voted
AIR
2006
83views more  AIR 2006»
14 years 9 months ago
A revision-based approach to handling inconsistency in description logics
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches have been proposed to deal with this problem based on existi...
Guilin Qi, Weiru Liu, David A. Bell
76
Voted
KSEM
2007
Springer
15 years 3 months ago
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue...
AAAI
2006
14 years 11 months ago
Merging Stratified Knowledge Bases under Constraints
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
Guilin Qi, Weiru Liu, David A. Bell
85
Voted
ICTAI
1996
IEEE
15 years 1 months ago
Automatic Diagnoses for Properly Stratified Knowledge-Bases
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
Ofer Arieli, Arnon Avron