A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
Co-opetition, simultaneous co-operation and competition, is a recent phenomenon. Co-opetition entails sharing knowledge that may be a key source of competitive advantage. Yet, the...
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
The field of Knowledge Management (KM) has already completed its initiatory phase, characterized by operational confusion between knowledge and information, stemming from the tenuo...
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
In this article we analyse how tacit and explicit knowledge are managed in teams. Tacit knowledge is located in human persons and it can not be described formally as data or any o...
As archives contain documents that span over a long period of time, the language used to create these documents and the language used for querying the archive can differ. This di...
This paper presents a technique for blindly removing image non-linearities in the absence of any calibration information or explicit knowledge of the imagingdevice. The basic appr...