Sciweavers

74
Voted
ATAL
2015
Springer
9 years 8 months ago
Elements of Epistemic Crypto Logic
Jan van Eijck, Malvin Gattinger
77
Voted
ATAL
2015
Springer
9 years 8 months ago
Towards Sketch Recognition by Mirroring: Extended Abstract
Mor Vered, Gal A. Kaminka
72
Voted
ATAL
2015
Springer
9 years 8 months ago
Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions
Alessio Lomuscio, Jakub Michaliszyn
76
Voted
ATAL
2015
Springer
9 years 8 months ago
A Computational Model of Trust Based on Message Content and Source
Célia da Costa Pereira, Andrea G. B. Tettam...
70
Voted
ATAL
2015
Springer
9 years 8 months ago
Frontier-Based RTDP: A New Approach to Solving the Robotic Adversarial Coverage Problem
Roi Yehoshua, Noa Agmon, Gal A. Kaminka
81
Voted
ATAL
2015
Springer
9 years 8 months ago
The Dependence of Effective Planning Horizon on Model Accuracy
For Markov decision processes with long horizons (i.e., discount factors close to one), it is common in practice to use reduced horizons during planning to speed computation. Howe...
Nan Jiang, Alex Kulesza, Satinder Singh, Richard L...
88
Voted
ATAL
2015
Springer
9 years 8 months ago
Adaptation from Sparse Observations through Detection and Correction of Model Anomalies
To make intelligent decisions, robots often use models of the effects of their actions on the world. Unfortunately, it is often infeasible to have the perfect knowledge and compu...
Juan Pablo Mendoza
76
Voted
ATAL
2015
Springer
9 years 8 months ago
Endgame Solving in Large Imperfect-Information Games
The leading approach for computing strong game-theoretic strategies in large imperfect-information games is to first solve an abstracted version of the game offline, then perform...
Sam Ganzfried, Tuomas Sandholm
79
Voted
ATAL
2015
Springer
9 years 8 months ago
On the Price of Stability of Fractional Hedonic Games
We consider fractional hedonic games, where self-organized groups (or clusters) are created as a result of the strategic interactions of independent and selfish players and the h...
Vittorio Bilò, Angelo Fanelli, Michele Flam...
80
Voted
ATAL
2015
Springer
9 years 8 months ago
emigo: A Large-Scale Multi-Agent Platform for the Web
In this paper we present the emigo platform, an agent-based social platform for the Web. Our goal is to provide each Web user with an agent called emigo which represents the user ...
Rym Wenkstern, Travis Steel, Dane Kuiper