88 search results - page 3 / 18 » A Completeness Result for Reasoning with Incomplete First-Or... |
IJCAI
2003
13 years 7 months ago
2003
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
AI
2001
Springer
13 years 10 months ago
2001
Springer
In fast-paced software projects, engineers don’t have the time or the resources to build heavyweight complete descriptions of their software. The best they can do is lightweight ...
ICCBR
2009
Springer
14 years 26 days ago
2009
Springer
Abstract. In this paper we present a method for supplementing incomplete cases with information from other cases within a case base. The acquisition of complete and correct cases i...
IEAAIE
1999
Springer
13 years 10 months ago
1999
Springer
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic bala...
GRC
2008
IEEE
13 years 6 months ago
2008
IEEE
Knowledge in knowledge bases have two categories: complete and incomplete. In this paper, through uniformly expressing these two kinds of knowledge, we first address four operator...