Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations in respecto to the internal structures of…

Current approaches to generation for machine translation make use of direct-replacement templates, large grammars, and knowledge-based inferencing techniques. Not only are rules language-specific, but they are too simplistic to handle sentences that exhibit more complex phenomena. Furthermore, these systems are…

This paper describes the connection memory, a machine for concurrently manipulating knowledge stored in semantic networks. We need the connection memory because conventional serial computers cannot move through such networks fast enough. The connection memory sidesteps the problem by providing…

This thesis studies the notion of knowledge in business firms, and in particular the concept of knowledge mobilization, understood as the mechanisms used by organizations to apply, transfer and retain knowledge about cause and effect relationships. As a theoretical framework,…

Purpose – The idea that knowledge management can be a potential source of competitive advantage has gained strength in the last few years. However, a number of business actions are needed to generate an appropriate environment and infrastructure for knowledge…

This paper describes some problems and opportunities associated with conceptual modeling for the kind of "open systems" we foresee must and will be increasingly recognized as a central line of computer system development. Computer applications will be based on communication…

We report on a study of how people look for information within email, files, and the Web. When locating a document or searching for a specific answer, people relied on their contextual knowledge of their information target to help them…

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a defeasible argumentation formalism, could take full advantage of this type of parallel…

Indudablemente, el oráculo más famoso del mundo antiguo en honor a un dios fue el de Apolo en Delfos. Su origen se remonta a un pasado minoico en el que se le asociaba con fuerzas telúricas que desde las entrañas…