Sciweavers

ATAL
2011
Springer
12 years 4 months ago
Human-like memory retrieval mechanisms for social companions
This paper demonstrates a biologically- and psychologicallyinspired human-like computational memory focusing on the retrieval mechanisms – Spreading Activation and Compound Cue ...
Mei Yii Lim, Ruth Aylett, Patrícia Amâ...
ATAL
2011
Springer
12 years 4 months ago
iCLUB: an integrated clustering-based approach to improve the robustness of reputation systems
Siyuan Liu, Jie Zhang, Chunyan Miao, Yin-Leng Then...
ATAL
2011
Springer
12 years 4 months ago
Solving Stackelberg games with uncertain observability
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr
ATAL
2011
Springer
12 years 4 months ago
Exploration strategies based on multi-criteria decision making for search and rescue autonomous robots
Autonomous mobile robots are considered a valuable technology for search and rescue applications, where an initially unknown environment has to be explored to locate human victims...
Nicola Basilico, Francesco Amigoni
ATAL
2011
Springer
12 years 4 months ago
Maximizing revenue in symmetric resource allocation systems when user utilities exhibit diminishing returns
Consumers of resources in realistic applications (e.g., web, multimedia) typically derive diminishing-return utilities from the amount of resource they receive. A resource provide...
Roie Zivan, Miroslav Dudík, Praveen Paruchu...
ATAL
2011
Springer
12 years 4 months ago
Trust as dependence: a logical approach
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Munindar P. Singh
ATAL
2011
Springer
12 years 4 months ago
An abstract framework for reasoning about trust
Elisabetta Erriquez, Wiebe van der Hoek, Michael W...
ATAL
2011
Springer
12 years 4 months ago
A double oracle algorithm for zero-sum security games on graphs
In response to the Mumbai attacks of 2008, the Mumbai police have started to schedule a limited number of inspection checkpoints on the road network throughout the city. Algorithm...
Manish Jain, Dmytro Korzhyk, Ondrej Vanek, Vincent...
ATAL
2011
Springer
12 years 4 months ago
The face of emotions: a logical formalization of expressive speech acts
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
Nadine Guiraud, Dominique Longin, Emiliano Lorini,...
ATAL
2011
Springer
12 years 4 months ago
Metric learning for reinforcement learning agents
A key component of any reinforcement learning algorithm is the underlying representation used by the agent. While reinforcement learning (RL) agents have typically relied on hand-...
Matthew E. Taylor, Brian Kulis, Fei Sha