Search

Search Results

• A Counter Abstraction Technique for the Verification of Robot Swarms

  Panagiotis Kouvaros, Alessio Lomuscio

  2015-02-18

• Cupid: Commitments in Relational Algebra

  Amit Chopra, Munindar Singh

  2015-02-18

• Cognitive Social Learners: An Architecture for Modeling Normative Behavior

  Rahmatollah Beheshti, Awrad Mohammed Ali, Gita Sukthankar

  2015-02-18

• Multi-Robot Auctions for Allocation of Tasks with Temporal Constraints

  Ernesto Nunes, Maria Gini

  2015-02-18

• Scalable Planning and Learning for Multiagent POMDPs

  Christopher Amato, Frans Oliehoek

  2015-02-18

• Verification of Relational Multiagent Systems with Data Types

  Diego Calvanese, Giorgio Delzanno, Marco Montali

  2015-02-18

• Automated Analysis of Commitment Protocols Using Probabilistic Model Checking

  Akın Günay, Song Songzheng, Yang Liu, Jie Zhang

  2015-02-18

• Generalization Analysis for Game-Theoretic Machine Learning

  Haifang Li, Fei Tian, Wei Chen, Tao Qin, Zhi-Ming Ma, Tie-Yan Liu

  2015-02-18

• Plurality Voting Under Uncertainty

  Reshef Meir

  2015-02-18

• Fast Convention Formation in Dynamic Networks Using Topological Knowledge

  Mohammad Hasan, Anita Raja, Ana Bazzan

  2015-02-18

• Fully Proportional Representation with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time

  Piotr Skowron, Piotr Faliszewski

  2015-02-18

• Distributing Coalition Value Calculations to Coalition Members

  Luke Riley, Katie Atkinson, Paul Dunne, Terry Payne

  2015-02-18

• Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation

  Piotr Skowron, Piotr Faliszewski, Jerome Lang

  2015-02-18

• Multi-Agent Path Finding on Strongly Biconnected Digraphs

  Adi Botea, Pavel Surynek

  2015-02-18

• Elections with Few Voters: Candidate Control Can Be Easy

  Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon

  2015-02-18

• Cooperating with Unknown Teammates in Complex Domains: A Robot Soccer Case Study of Ad Hoc Teamwork

  Samuel Barrett, Peter Stone

  2015-02-18

• Multi-Agent Pathfinding as a Combinatorial Auction

  Ofra Amir, Guni Sharon, Roni Stern

  2015-02-18

• An Empirical Study on the Practical Impact of Prior Beliefs over Policy Types

  Stefano Albrecht, Jacob Crandall, Subramanian Ramamoorthy

  2015-02-18

• Distributed Multiplicative Weights Methods for DCOP

  Daisuke Hatano, Yuichi Yoshida

  2015-02-18

• SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-Makespan for Formational Positioning

  Patrick MacAlpine, Eric Price, Peter Stone

  2015-02-18

• On the Role of Canonicity in Knowledge Compilation

  Guy Van den Broeck, Adnan Darwiche

  2015-02-18

• How Many Diagnoses Do We Need?

  Roni Stern, Meir Kalech, Shelly Rogov, Alexander Feldman

  2015-02-18

• On Computing Explanations in Argumentation

  Xiuyi Fan, Francesca Toni

  2015-02-18

• A Comparison of Qualitative and Metric Spatial Relation Models for Scene Understanding

  Akshaya Thippur, Chris Burbridge, Lars Kunze, Marina Alberti, John Folkesson, Patric Jensfelt, Nick Hawes

  2015-02-18

• Knowledge Forgetting in Circumscription: A Preliminary Report

  Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang

  2015-02-18