Search

Search Results

• Mechanism Design for Federated Sponsored Search Auctions

  Sofia Ceppi, Nicola Gatti, Enrico Gerding

  608-613

  2011-08-04

• Computing an Extensive-Form Perfect Equilibrium in Two-Player Games

  Nicola Gatti, Claudio Iuliano

  669-674

  2011-08-04

• A Distributed Anytime Algorithm for Dynamic Task Allocation in Multi-Agent Systems

  Kathryn Macarthur, Ruben Stranders, Sarvapali Ramchurn, Nicholas Jennings

  701-706

  2011-08-04

• Efficiency and Privacy Tradeoffs in Mechanism Design

  Xin Sui, Craig Boutilier

  738-744

  2011-08-04

• Refinement of Strong Stackelberg Equilibria in Security Games

  Bo An, Milind Tambe, Fernando Ordonez, Eric Shieh, Christopher Kiekintveld

  587-593

  2011-08-04

• Risk-Averse Strategies for Security Games with Execution and Observational Uncertainty

  Zhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez

  758-763

  2011-08-04

• Dominant-Strategy Auction Design for Agents with Uncertain, Private Values

  David Thompson, Kevin Leyton-Brown

  745-750

  2011-08-04

• Transportability of Causal and Statistical Relations: A Formal Approach

  Judea Pearl, Elias Bareinboim

  247-254

  2011-08-04

• A Modular Consistency Proof for DOLCE

  Oliver Kutz, Till Mossakowski

  227-234

  2011-08-04

• Learning from Spatial Overlap

  Michael Coen, M. Ansari, Nathanael Fillmore

  177-182

  2011-08-04

• A Semantical Account of Progression in the Presence of Uncertainty

  Vaishak Belle, Gerhard Lakemeyer

  165-170

  2011-08-04

• A Closer Look at the Probabilistic Description Logic Prob-EL

  Víctor Gutiérrez Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

  197-202

  2011-08-04

• Higher-Order Description Logics for Domain Metamodeling

  Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

  183-188

  2011-08-04

• Trajectory Regression on Road Networks

  Tsuyoshi Ide, Masashi Sugiyama

  203-208

  2011-08-04

• Two-Dimensional Description Logics for Context-Based Semantic Interoperability

  Szymon Klarman, Víctor Gutiérrez-Basulto

  215-220

  2011-08-04

• Language Splitting and Relevance-Based Belief Change in Horn Logic

  Maonia Wu, Dongmo Zhang, Mingyi Zhang

  268-273

  2011-08-04

• Causal Theories of Actions Revisited

  Fangzhen Lin, Mikhail Soutchanski

  235-240

  2011-08-04

• An Algebraic Prolog for Reasoning about Possible Worlds

  Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

  209-214

  2011-08-04

• Integrating Rules and Description Logics by Circumscription

  Qian Yang, Jia-Huai You, Zhiyong Feng

  274-279

  2011-08-04

• Adding Default Attributes to EL++

  Piero Bonatti, Marco Faella, Luigi Sauro

  171-176

  2011-08-04

• Revisiting Semantics for Epistemic Extensions of Description Logics

  Anees Mehdi, Sebastian Rudolph

  241-246

  2011-08-04

• How to Calibrate the Scores of Biased Reviewers by Quadratic Programming

  Magnus Roos, Jörg Rothe, Björn Scheuermann

  255-260

  2011-08-04

• Conjunctive Query Inseparability of OWL 2 QL TBoxes

  Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

  221-226

  2011-08-04

• Preferred Explanations: Theory and Generation via Planning

  Shirin Sohrabi, Jorge Baier, Sheila McIlraith

  261-267

  2011-08-04

• Progression Semantics for Disjunctive Logic Programs

  Yi Zhou, Yan Zhang

  286-291

  2011-08-04