It is well accepted that inconsistency may exist in a database system or an intelligent information system (Benferhat et al. 1993a; 1993b; 1997b; 1998; Benferhat & Kaci 2003; Elvang-Gøransson & Hunter 1995; Gabbay & Hunter 1991; Lin 1994; Priest et al. 1989; Priest 2001). Inconsistency can either appear in the given knowledge bases or as a result of combination or revision. In this paper, we wi...

Recently Lakemeyer and Levesque proposed the logic AOL, which amalgamates both the situation calculus and Levesque’s logic of only knowing. While very expressive the practical relevance of the formalism is unclear because it heavily relies on second-order logic. In this paper we demonstrate that the picture is not as bleak as it may seem. In particular, we show that for large classes of AOL kno...

One of the key components of an Intelligent Tutoring System (ITS) is the mechanism for reasoning about the student’s input. The impact of this component extends far beyond the presentation of the lesson material to the success of the system itself. It affects how precisely the system can pinpoint student errors and thus the subsequent help that the system provides. This paper describes an examp...

Sharing economy platforms facilitate people's sharing of underutilized resources by adding value to their users, such as reducing transaction costs and building trust. However, it is discovered by practitioners that users may actually bypass, or 'disintermediate', the platforms to strike direct deals on their own. This phenomenon motivates this research to understand sharing economy user bypass...

firms invest in their learning activities to improve their innovative efforts. these kinds of activities are either internal or external. knowledge which flows among local actors is one of the external learning factors. spontaneous knowledge flows among firms without any compensation or with compensation less than the real value is called knowledge spillover. this paper analyzes the effect of k...

The Broker's Lounge is a shell for knowledge structuring and dynamic user interface generation which supports the personalisation of both information structures and user interfaces, emphasising options for context change and multi-dimensional constraint propagation. Two major applications have been developed so far: ELFI, an advisor that manages knowledge about research programs in Germany such...

We propose a calculus, cCOA, combining, thus more expressive than each of, two orientation calculi well-known in QSR: Frank’s projection-based cardinal direction calculus, CDA, and a coarser version, ROA, of Freksa’s relative orientation calculus. An original constraint propagation procedure, PcS4c+(), for cCOA-CSPs is presented, which aims at (1) achieving path consistency (Pc) for the CDA pro...

Alliance-driven governance: applying a global commodity chains approach to the UK biotechnology industry. Economic Geography. Abstract As the economy has globalized it has also regionalized leading to the integration of different spaces across different scales. A number of theories contend that the endogenous assets of these locations provide them with the means to compete in this globalizing e...

Purpose This study aims to explore how professional–cultural knowledge is reciprocally shared between experienced expatriates and novice local nurses. To address this, the situated learning in practice lens combined with social exchange lens. Design/methodology/approach An interpretive case methodology enabled an exploratory approach into knowledge-sharing practices nurses Saudi Arabia. Finding...