Sciweavers

70 search results - page 1 / 14
» Handling Locally Stratified Inconsistent Knowledge Bases
Sort
View
69
Voted
SLOGICA
2002
47views more  SLOGICA 2002»
15 years 2 days ago
Handling Locally Stratified Inconsistent Knowledge Bases
Salem Benferhat, Laurent Garcia
97
Voted
AIR
2006
83views more  AIR 2006»
15 years 15 days 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
97
Voted
KSEM
2007
Springer
15 years 6 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...
89
Voted
AAAI
2006
15 years 1 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
102
Voted
ICTAI
1996
IEEE
15 years 4 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