Sciweavers

ATAL
2015
Springer
8 years 19 days ago
Social Insect-Inspired Multi-Robot Coverage
Bastian Broecker, Ipek Caliskanelli, Karl Tuyls, E...
ATAL
2015
Springer
8 years 19 days ago
Automated Extension of Narrative Planning Domains with Antonymic Operators
AI Planning has been widely used for narrative generation and the control of virtual actors in interactive storytelling. Planning models for such dynamic environments must include...
Julie Porteous, Alan Lindsay, Jonathon Read, Mark ...
ATAL
2015
Springer
8 years 19 days ago
Bounty Hunters and Multiagent Task Allocation
We propose a system for multiagent task allocation inspired by the model used by bounty hunters and bail bondsmen. A bondsman posts tasks for agents to complete, along with bounti...
Drew Wicke, David Freelan, Sean Luke
ATAL
2015
Springer
8 years 19 days ago
A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions
We show how to formalise Arrow’s Theorem on the impossibility of devising a method for preference aggregation that is both independent of irrelevant alternatives and Pareto efï¬...
Giovanni Ciná, Ulle Endriss
ATAL
2015
Springer
8 years 19 days ago
Open Game Tournaments in STARLITE
STARLITE is a novel web-based agent platform that allows open, dynamic execution of agent simulations. Using STARLITE researchers can start simulations as web applications whose U...
Jack Hopkins, Özgür Kafali, Kostas Stath...
ATAL
2015
Springer
8 years 19 days ago
Approximating Difference Evaluations with Local Information
Mitchell K. Colby, William J. Curran, Kagan Tumer
ATAL
2015
Springer
8 years 19 days ago
Symbolic Model-checking for Resource-Bounded ATL
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, F...
ATAL
2015
Springer
8 years 19 days ago
How Hard is Bribery in Party Based Elections?
d Abstract) Yongjie Yang Universität des Saarlandes
Yongjie Yang, Yash Raj Shrestha, Jiong Guo
ATAL
2015
Springer
8 years 19 days ago
A Unifying Methodology for Confronting Uncertainties in Security Games: Advances and Algorithms: (Doctoral Consortium)
Given the real-world applications of Stackelberg security games (SSGs), addressing uncertainties in these games is a major challenge. Two competitive approaches have been pursued ...
Thanh Hong Nguyen, Milind Tambe
ATAL
2015
Springer
8 years 19 days ago
Paving the way for Large-Scale Combinatorial Auctions
Francisco Cruz-Mencia, Jesús Cerquides, Ant...