46 search results - page 2 / 10 » Sometimes Updates Are Circumscription |
ENTCS
2006
13 years 5 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
EVOW
2006
Springer
13 years 9 months ago
2006
Springer
A new model for evolving the structure of a Particle Swarm Optimization (PSO) algorithm is proposed in this paper. The model is a hybrid technique that combines a Genetic Algorithm...
IEEESCC
2008
IEEE
13 years 11 months ago
2008
IEEE
Workflows tend to fail in real-world scenarios due to the uncertain/unreliable sensory information which sometimes needs to be updated during the execution of workflows. In a lo...
JUCS
2006
13 years 5 months ago
2006
: CQL, Continuous Query Language is suitable for data stream queries. Sometimes it is better if the queries operate on relational databases and data streams simultaneously. The exe...
IGPL
2006
13 years 5 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...