ACL
1998
14 years 24 days ago
1998
Word sense disambiguation for unrestricted text is one of the most difficult tasks in the fields of computational linguistics. The crux of the problem is to discover a model that ...
AAAI
2000
14 years 24 days ago
2000
Most CBR systems rely on a fixed library of cases, where each case consists of a set of facts specified in advance. This paper describes techniques for dynamically extracting case...
AAAI
2000
14 years 24 days ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
AAAI
1998
14 years 24 days ago
1998
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
AAAI
1998
14 years 24 days ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
AAAI
2000
14 years 24 days ago
2000
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
IIWAS
2003
14 years 24 days ago
2003
A question based knowledge management system with the capability to integrate heterogeneous sources of information and knowledge and which nonetheless acts like a single coherent ...
IMSA
2001
14 years 25 days ago
2001
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...
IJCAI
2001
14 years 25 days ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
DLOG
2003
14 years 25 days ago
2003
We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear redu...