Sciweavers

473 search results - page 34 / 95
» Dynamic logics of knowledge and access
Sort
View
KR
2010
Springer
14 years 13 days ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
SAINT
2006
IEEE
14 years 1 months ago
Dynamic Configuration of Semantic-Based Service Provisioning to Portable Devices
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...
Antonio Corradi, Rebecca Montanari, Alessandra Ton...
COORDINATION
2008
Springer
13 years 9 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
IADIS
2004
13 years 9 months ago
A Case Study on Research Assistant System From Knowledge Management Perspective
The purpose of this study is to develop a web-based Research Assistant System (RAS), a Knowledge Management System by community of practice, to improve the group performance of Re...
Jin Yang, Ming Huang
CRIWG
2001
13 years 9 months ago
Enabling the Collaborative Construction and Reuse of Knowledge through a Virtual Reference Environment
This paper analyzes some of the factors that prevent knowledge construction and reuse in traditional library settings and describes VRef, an environment designed to provide users ...
J. Alfredo Sánchez, Alberto García, ...