Sciweavers

1153 search results - page 132 / 231
» The Complexity of Revision, Revised
Sort
View
AI
2008
Springer
15 years 6 months ago
The measurement of ranks and the laws of iterated contraction
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...
Matthias Hild, Wolfgang Spohn
AMAI
2007
Springer
15 years 6 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
APAL
2010
111views more  APAL 2010»
15 years 6 months ago
Resource modalities in tensor logic
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
Paul-André Melliès, Nicolas Tabareau
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 6 months ago
Born to be Wild: Using Communities of Practice as a Tool for Knowledge Management
This paper looks at what happens when Communities of Practice are used as a tool for Knowledge Management. The original concept of a Community of Practice appears to have very lit...
Valérie Chanal, Chris Kimble
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
A Middleware Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
Alan Dearle, Graham N. C. Kirby, Andrew McCarthy