An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
Fahiem Bacchus, Adam J. Grove, Daphne Koller, Jose...
In previous work [BGHK92, BGHK93], we have studied the random-worlds approach--a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabil...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
There is no automatic mechanism to integrate information between heterogeneous genome maps. Currently, integration is a di cult, manual process. We have developed a process for kn...
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
Automated text generation requires a underlying knowledge base fl'om which to generate, which is often difficult to produce. Software documentation is one domain in which par...
A new inductive learning system, Lab Learning for ABduction, is presented which acquires abductive rules from a set of training examples. The goal is to nd a small knowledge base ...
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...