Search

Search Results

• Fixing a Tournament

  Virginia Williams

  895-900

  2010-07-04

• Asymmetric Spite in Auctions

  Ankit Sharma, Tuomas Sandholm

  867-873

  2010-07-04

• Trial-Based Dynamic Programming for Multi-Agent Planning

  Feng Wu, Shlomo Zilberstein, Xiaoping Chen

  908-914

  2010-07-04

• Approximation Algorithms and Mechanism Design for Minimax Approval Voting

  Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis

  737-742

  2010-07-04

• Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents

  Raz Lin, Sarit Kraus, Yinon Oshrat, Ya'akov (Kobi) Gal

  817-822

  2010-07-04

• Nonmanipulable Randomized Tournament Selections

  Alon Altman, Robert Kleinberg

  686-690

  2010-07-04

• Urban Security: Game-Theoretic Resource Allocation in Networked Domains

  Jason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe

  881-886

  2010-07-04

• Security Games with Arbitrary Schedules: A Branch and Price Approach

  Manish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe

  792-797

  2010-07-04

• Probabilistic Possible Winner Determination

  Yoram Bachrach, Nadja Betzler, Piotr Faliszewski

  697-702

  2010-07-04

• A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria

  Archie Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas Jennings

  749-755

  2010-07-04

• A Decentralised Coordination Algorithm for Mobile Sensors

  Ruben Stranders, Francesco Delle Fave, Alex Rogers, Nicholas Jennings

  874-880

  2010-07-04

• Good Rationalizations of Voting Rules

  Edith Elkind, Piotr Faliszewski, Arkadii Slinko

  774-779

  2010-07-04

• Transferable Utility Planning Games

  Ronen Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz

  709-714

  2010-07-04

• Cloning in Elections

  Edith Elkind, Piotr Faliszewski, Arkadii Slinko

  768-773

  2010-07-04

• Lifting Rationality Assumptions in Binary Aggregation

  Umberto Grandi, Ulle Endriss

  780-785

  2010-07-04

• Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis

  Amirali Salehi-Abari, Tony White

  842-847

  2010-07-04

• Soundness Preserving Approximation for TBox Reasoning

  Yuan Ren, Jeff Pan, Yuting Zhao

  351-356

  2010-07-03

• Situation Calculus as Answer Set Programming

  Joohyung Lee, Ravi Palla

  309-314

  2010-07-03

• A Lower Bound on the Size of Decomposable Negation Normal Form

  Thammanit Pipatsrisawat, Adnan Darwiche

  345-350

  2010-07-03

• Dominance Testing via Model Checking

  Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

  357-362

  2010-07-03

• Node Selection Query Languages for Trees

  Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Vardi

  279-284

  2010-07-03

• Two-Player Game Structures for Generalized Planning and Agent Composition

  Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardina

  297-302

  2010-07-03

• Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

  Vaishak Belle, Gerhard Lakemeyer

  255-260

  2010-07-03

• Ordered Completion for First-Order Logic Programs on Finite Structures

  Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

  249-254

  2010-07-03

• In Defense of Large Qualitative Calculi

  Jason Li, Jochen Renz

  315-320

  2010-07-03