ATAL
2009
Springer
14 years 2 days ago
2009
Springer
ATAL
2009
Springer
14 years 2 days ago
2009
Springer
ATAL
2009
Springer
14 years 2 days 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 days ago
2009
Springer
ATAL
2009
Springer
14 years 2 days 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 days ago
2009
Springer
ATAL
2009
Springer
14 years 2 days 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...
ATAL
2009
Springer
14 years 2 days ago
2009
Springer
ATAL
2009
Springer
14 years 2 days ago
2009
Springer
We present a supply-chain management system that supports transportation of cargo containers and monitors the quality of control during transport. Our system primarily focuses on ...
ATAL
2009
Springer
14 years 2 days ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...