We present the logic of bunched implications, BI, in which a multiplicative (or linear) and an
additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises …

Today's large knowledge graphs are conceived mainly for supporting search and e-
commerce within large companies such as Google or Amazon, with well-crafted knowledge …

Organizational patterns are the key to a stepwise adoption of agile and lean approaches
and to a piecemeal growth of agile and lean organization of work. However, their text …

Effective acquisition of descriptive semantics for images is still an open issue today. Crowd-
based human computation represents a family of approaches able to provide large scale …

Mappings verification is a laborious task. The paper presents a Game with a Purpose based
system for verification of automatically generated mappings. General description of idea …

Most of online Arabic books are not accessible to Arab people with visual impairments. They
cannot read online books because they are usually scanned images of the original ones …

An effective search and organization of personal multimedia repositories demands very
specific, owner-related metadata (eg person names, places, events). Only the resource …

The paper presents an approach to build references (also called mappings) between
WordNet and Wikipedia. We propose four algorithms used for automatic construction of the …

The effective information processing (eg search, organization) of the heterogeneous
information spaces requires metadata layer above the resources. However, the acquisition …

Quantity of music metadata on the Web is raising with high speed. It became a real
challenge to keep quality of metadata at reasonable level. In this paper we present a game …