ATAL
2009
Springer
14 years 2 months ago
2009
Springer
This demonstration proposal is for a distributed traffic intersection traffic-light control called GreenWave. The solution couples camera sensors with a novel collaborative multia...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) provides a rich framework for modeling multi-agent coordination problems. Existing problem domains for DCOP focus on small (<100 vari...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...