Sciweavers

ATAL
2015
Springer
8 years 6 months ago
Every Team Deserves a Second Chance: Identifying when Things Go Wrong
Voting among different agents is a powerful tool in problem solving, and it has been widely applied to improve the performance in finding the correct answer to complex problems. ...
Vaishnavh Nagarajan, Leandro Soriano Marcolino, Mi...
ATAL
2015
Springer
8 years 6 months ago
Reasoning with PCP-nets in a Multi-Agent Context
PCP-nets generalize CP-nets to model conditional preferences with probabilistic uncertainty. In this paper we use PCP-nets in a multiagent context to compactly represent a collect...
Cristina Cornelio, Umberto Grandi, Judy Goldsmith,...
ATAL
2015
Springer
8 years 6 months ago
Social Insect-Inspired Multi-Robot Coverage
Bastian Broecker, Ipek Caliskanelli, Karl Tuyls, E...
ATAL
2015
Springer
8 years 6 months 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 6 months 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 6 months 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 6 months 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 6 months ago
Approximating Difference Evaluations with Local Information
Mitchell K. Colby, William J. Curran, Kagan Tumer
ATAL
2015
Springer
8 years 6 months ago
Symbolic Model-checking for Resource-Bounded ATL
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, F...