Search

Search Results

• Optimal Proportional Cake Cutting with Connected Pieces

  Xiaohui Bei, Ning Chen, Xia Hua, Biaoshuai Tao, Endong Yang

  1263-1269

  2021-09-20

• Computing the Nucleolus of Matching, Cover and Clique Games

  Ning Chen, Pinyan Lu, Hongyang Zhang

  1319-1325

  2021-09-20

• Generalized Sampling and Variance in Counterfactual Regret Minimization

  Richard Gibson, Marc Lanctot, Neil Burch, Duane Szafron, Michael Bowling

  1355-1361

  2021-09-20

• Housing Markets with Indifferences: A Tale of Two Mechanisms

  Haris Aziz, Bart de Keijzer

  1249-1255

  2021-09-20

• A Dynamic Rationalization of Distance Rationalizability

  Craig Boutilier, Ariel Procaccia

  1278-1284

  2021-09-20

• Computing Equilibria with Two-Player Zero-Sum Continuous Stochastic Games with Switching Controller

  Guido Bonomi, Nicola Gatti, Fabio Panozzo, Marcello Restelli

  1270-1277

  2021-09-20

• On Maxsum Fair Cake Divisions

  Steven Brams, Michal Feldman, John Lai, Jamie Morgenstern, Ariel Procaccia

  1285-1291

  2021-09-20

• Security Games with Limited Surveillance

  Bo An, David Kempe, Christopher Kiekintveld, Eric Shieh, Satinder Singh, Milind Tambe, Yevgeniy Vorobeychik

  1241-1248

  2021-09-20

• Optimal Auctions for Spiteful Bidders

  Pingzhong Tang, Tuomas Sandholm

  1457-1463

  2021-09-20

• Computing Stackelberg Equilibria in Discounted Stochastic Games

  Yevgeniy Vorobeychik, Satinder Singh

  1478-1484

  2021-09-20

• Symmetric Subgame Perfect Equilibria in Resource Allocation

  Ludek Cigler, Boi Faltings

  1326-1332

  2021-09-20

• Exploring the Duality in Conflict-Directed Model-Based Diagnosis

  Roni Stern, Meir Kalech, Alexander Feldman, Gregory Provan

  828-834

  2021-09-20

• Transportability of Causal Effects: Completeness Results

  Elias Bareinboim, Judea Pearl

  698-704

  2021-09-20

• A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning

  Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu

  734-742

  2021-09-20

• Reformulating Temporal Action Logics in Answer Set Programming

  Joohyung Lee, Ravi Palla

  786-792

  2021-09-20

• Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games

  Xiaowei Huang, Ron van der Meyden

  772-778

  2021-09-20

• Equality-Friendly Well-Founded Semantics and Applications to Description Logics

  Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz

  757-764

  2021-09-20

• Conflict-Based Belief Revision Operators in Possibilistic Logic

  Guilin Qi, Kewen Wang

  800-806

  2021-09-20

• Symbolic Synthesis of Observability Requirements for Diagnosability

  Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive

  712-718

  2021-09-20

• The Parameterized Complexity of Abduction

  Michael Fellows, Andreas Pfandler, Frances Rosamond, Stefan Rümmele

  743-749

  2021-09-20

• Ontology-Based Data Access with Dynamic TBoxes in DL-Lite

  Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

  719-725

  2021-09-20

• Compiling Model-Based Diagnosis to Boolean Satisfaction

  Amit Metodi, Roni Stern, Meir Kalech, Mike Codish

  793-799

  2021-09-20

• Basing Decisions on Sentences in Decision Diagrams

  Yexiang Xue, Arthur Choi, Adnan Darwiche

  842-849

  2021-09-20

• Concept-Based Approach to Word-Sense Disambiguation

  Ariel Raviv, Shaul Markovitch

  807-813

  2021-09-20

• Query Rewriting for Horn-SHIQ Plus Rules

  Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao

  726-733

  2021-09-20