ATAL
2010
Springer
14 years 1 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
The vision of the Smart Grid includes the creation of intelligent electricity supply networks to allow efficient use of energy resources, reduce carbon emissions and are robust to...
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
We present a series of results providing evidence that the incentive problem with VCG-based mechanisms is not very severe. Our first result uses average-case analysis to show that ...
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
Although a remarkably high degree of automation has been reached in production and intra-logistics nowadays, human labor is still used for transportation using handcarts and forkl...
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
Distributed Constraint Optimization (DCOP) is a popular framework for cooperative multi-agent decision making. DCOP is NPhard, so an important line of work focuses on developing f...
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
ATAL
2010
Springer
14 years 1 months ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
ATAL
2010
Springer
14 years 1 months ago
2010
Springer