21 search results - page 2 / 5 » A Consistency-Based Model for Belief Change: Preliminary Rep... |
ARGMAS
2004
Springer
14 years 25 days ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
ECAL
2007
Springer
14 years 1 months ago
2007
Springer
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...
PROFES
2009
Springer
13 years 12 months ago
2009
Springer
Waterfall development is still a widely used way of working in software development companies. Many problems have been reported related to the model. Commonly accepted problems are...
CP
1997
Springer
13 years 11 months ago
1997
Springer
In the last few years there has been a great amount of interest in Random Constraint Satisfaction Problems, both from an experimental and a theoretical point of view. Quite intrigu...
FORMATS
2003
Springer
14 years 19 days ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...