Search

Search Results

• Structural Decompositions of Epistemic Logic Programs

  Markus Hecher, Michael Morak, Stefan Woltran

  2830-2837

  2020-04-03

• Logics for Sizes with Union or Intersection

  Caleb Kisby, Saul Blanco, Alex Kruckman, Lawrence Moss

  2870-2876

  2020-04-03

• Deciding Acceptance in Incomplete Argumentation Frameworks

  Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo, Jörg Rothe

  2942-2949

  2020-04-03

• Effective AER Object Classification Using Segmented Probability-Maximization Learning in Spiking Neural Networks

  Qianhui Liu, Haibo Ruan, Dong Xing, Huajin Tang, Gang Pan

  1308-1315

  2020-04-03

• Modelling and Solving Online Optimisation Problems

  Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack

  1477-1485

  2020-04-03

• SPAN: A Stochastic Projected Approximate Newton Method

  Xunpeng Huang, Xianfeng Liang, Zhengyang Liu, Lei Li, Yue Yu, Yitan Li

  1520-1527

  2020-04-03

• Augmenting the Power of (Partial) MaxSat Resolution with Extension

  Javier Larrosa, Emma Rollon

  1561-1568

  2020-04-03

• Hard Examples for Common Variable Decision Heuristics

  Marc Vinyals

  1652-1659

  2020-04-03

• Explaining Propagators for String Edit Distance Constraints

  Felix Winter, Nysret Musliu, Peter Stuckey

  1676-1683

  2020-04-03

• Multiple Birds with One Stone: Beating 1/2 for EFX and GMMS via Envy Cycle Elimination

  Georgios Amanatidis, Evangelos Markakis, Apostolos Ntokos

  1790-1797

  2020-04-03

• Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives

  Haris Aziz, Hau Chan, Barton Lee, Bo Li, Toby Walsh

  1806-1813

  2020-04-03

• Fair Division of Mixed Divisible and Indivisible Goods

  Xiaohui Bei, Zihao Li, Jinyan Liu, Shengxin Liu, Xinhang Lu

  1814-1821

  2020-04-03

• Approval-Based Apportionment

  Markus Brill, Paul Gölz, Dominik Peters, Ulrike Schmidt-Kraepelin, Kai Wilker

  1854-1861

  2020-04-03

• Election Control in Social Networks via Edge Addition or Removal

  Matteo Castiglioni, Diodato Ferraioli, Nicola Gatti

  1878-1885

  2020-04-03

• Beyond Pairwise Comparisons in Social Choice: A Setwise Kemeny Aggregation Problem

  Hugo Gilbert, Tom Portoleau, Olivier Spanjaard

  1982-1989

  2020-04-03

• Model and Reinforcement Learning for Markov Games with Risk Preferences

  Wenjie Huang, Viet Hai Pham, William Benjamin Haskell

  2022-2029

  2020-04-03

• Defending with Shared Resources on a Network

  Minming Li, Long Tran-Thanh, Xiaowei Wu

  2111-2118

  2020-04-03

• Complexity of Computing the Shapley Value in Games with Externalities

  Oskar Skibski

  2244-2251

  2020-04-03

• Path Planning Problems with Side Observations—When Colonels Play Hide-and-Seek

  Dong Quan Vu, Patrick Loiseau, Alonso Silva, Long Tran-Thanh

  2252-2259

  2020-04-03

• Algorithms for Manipulating Sequential Allocation

  Mingyu Xiao, Jiaxing Ling

  2302-2309

  2020-04-03

• Weakly-Supervised Fine-Grained Event Recognition on Social Media Texts for Disaster Management

  Wenlin Yao, Cheng Zhang, Shiva Saravanan, Ruihong Huang, Ali Mostafavi

  532-539

  2020-04-03

• Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods

  Ferdinando Fioretto, Terrence W.K. Mak, Pascal Van Hentenryck

  630-637

  2020-04-03

• Enhancing Personalized Trip Recommendation with Attractive Routes

  Jiqing Gu, Chao Song, Wenjun Jiang, Xiaomin Wang, Ming Liu

  662-669

  2020-04-03

• RL-Duet: Online Music Accompaniment Generation Using Deep Reinforcement Learning

  Nan Jiang, Sheng Jin, Zhiyao Duan, Changshui Zhang

  710-718

  2020-04-03

• Towards Cross-Modality Medical Image Segmentation with Online Mutual Knowledge Distillation

  Kang Li, Lequan Yu, Shujun Wang, Pheng-Ann Heng

  775-783

  2020-04-03