AAAI 2019

1,341 papers

An Equivalence between Wagering and Fair-Division Mechanisms

Rupert Freeman, David M. Pennock, Jennifer Wortman Vaughan

A Bridge between Liquid and Social Welfare in Combinatorial Auctions with Submodular Bidders

Dimitris Fotakis, Kyriakos Lotidis, Chara Podimata

Fair Knapsack

Till Fluschnik, Piotr Skowron, Mervin Triphaus, Kai Wilker

Very Hard Electoral Control Problems

Zack Fitzsimmons, Edith Hemaspaandra, Alexander Hoover, David E. Narváez

An Improved Quasi-Polynomial Algorithm for Approximate Well-Supported Nash Equilibria

Michail Fasoulakis, Evangelos Markakis

Online Convex Optimization for Sequential Decision Processes and Extensive-Form Games

Gabriele Farina, Christian Kroer, Tuomas Sandholm

How Similar Are Two Elections?

Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Stanisław Szufa, Nimrod Talmon

Approximation and Hardness of Shift-Bribery

Piotr Faliszewski, Pasin Manurangsi, Krzysztof Sornat

Random Dictators with a Random Referee: Constant Sample Complexity Mechanisms for Social Choice

Brandon Fain, Ashish Goel, Kamesh Munagala, Nina Prabhu

Online Pandora’s Boxes and Bandits

Hossein Esfandiari, MohammadTaghi Hajiaghayi, Brendan Lucier, Michael Mitzenmacher

Balancing Relevance and Diversity in Online Bipartite Matching via Submodularity

John P. Dickerson, Karthik Abinav Sankararaman, Aravind Srinivasan, Pan Xu

On the Complexity of the Inverse Semivalue Problem for Weighted Voting Games

Ilias Diakonikolas, Chrystalla Pavlou

Solving Large Extensive-Form Games with Strategy Constraints

Trevor Davis, Kevin Waugh, Michael Bowling

Group Fairness for the Allocation of Indivisible Goods

Vincent Conitzer, Rupert Freeman, Nisarg Shah, Jennifer Wortman Vaughan

Randomized Wagering Mechanisms

Yiling Chen, Yang Liu, Juntao Wang

Partial Verification as a Substitute for Money

Sofia Ceppi, Ian Kash, Rafael Frongillo

Solving Imperfect-Information Games via Discounted Regret Minimization

Noam Brown, Tuomas Sandholm

Fast Iterative Combinatorial Auctions via Bayesian Learning

Gianluca Brero, Sebastien Lahaie, Sven Seuken

Walrasian Dynamics in Multi-Unit Markets

Simina Branzei, Aris Filos-Ratsikas

Primarily about Primaries

Allan Borodin, Omer Lev, Nisarg Shah, Tyrone Strangway

On Rational Delegations in Liquid Democracy

Daan Bloembergen, Davide Grossi, Martin Lackner

Low-Distortion Social Welfare Functions

Gerdus Benade, Ariel D. Procaccia, Mingda Qiao

Convergence of Learning Dynamics in Information Retrieval Games

Omer Ben-Porat, Itay Rosenberg, Moshe Tennenholtz

From Recommendation Systems to Facility Location Games

Omer Ben-Porat, Gregory Goren, Itay Rosenberg, Moshe Tennenholtz

Generalized Distance Bribery

Dorothea Baumeister, Tobias Hogrebe, Lisa Rey

Unknown Agents in Friends Oriented Hedonic Games: Stability and Complexity

Nathanaël Barrot, Kazunori Ota, Yuko Sakurai, Makoto Yokoo

On the Proximity of Markets with Integral Equilibria

Siddharth Barman, Sanath Kumar Krishnamurthy

Pareto Optimal Allocation under Compact Uncertain Preferences

Haris Aziz, Peter Biro, Ronald de Haan, Baharak Rastegari

Fair Division with a Secretive Agent

Eshwar Ram Arunachaleswaran, Siddharth Barman, Nidhi Rathi

The Pure Price of Anarchy of Pool Block Withholding Attacks in Bitcoin Mining

Colleen Alkalay-Houlihan, Nisarg Shah

Learning to Write Stories with Thematic Consistency and Wording Novelty

Juntao Li, Lidong Bing, Lisong Qiu, Dongmin Chen, Dongyan Zhao

3D Face Synthesis Driven by Personality Impression

Yining Lang, Wei Liang, Yujia Wang, Lap-Fai Yu

Regular Boardgames

Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz, Marek Szykuła

Tackling Sparse Rewards in Real-Time Games with Statistical Forward Planning Methods

Raluca D. Gaina, Simon M. Lucas, Diego Pérez-Liébana

Generalized Batch Normalization: Towards Accelerating Deep Neural Networks

Xiaoyong Yuan, Zheng Feng, Matthew Norton, Xiaolin Li

Optimizing in the Dark: Learning an Optimal Solution through a Simple Request Interface

Qiao Xiang, Haitao Yu, James Aspnes, Franck Le, Linghe Kong

Adding Constraints to Bayesian Inverse Problems

Jiacheng Wu, Jian-Xun Wang, Shawn C. Shadden

Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization

Bryan Wilder, Bistra Dilkina, Milind Tambe

Task Embedded Coordinate Update: A Realizable Framework for Multivariate Non-Convex Optimization

Yiyang Wang, Risheng Liu, Long Ma, Xiaoliang Song

Low-Rank Semidefinite Programming for the MAX2SAT Problem

Po-Wei Wang, J. Zico Kolter

Asynchronous Proximal Stochastic Gradient Algorithm for Composition Optimization Problems

pengfei wang, Risheng Liu, Nenggan Zheng, Zhefeng Gong

Learning Optimal Classification Trees Using a Binary Linear Program Formulation

Sicco Verwer, Yingqian Zhang

Bayesian Functional Optimisation with Shape Prior

Pratibha Vellanki, Santu Rana, Sunil Gupta, David Rubin de Celis Leal, Alessandra Sutti

Concurrency Debugging with MaxSMT

Miguel Terra-Neves, Nuno Machado, Ines Lynce, Vasco Manquinho

Algorithms for Average Regret Minimization

Sabine Storandt, Stefan Funke

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting

Mate Soos, Kuldeep S. Meel

A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving

Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst

Revisiting Projection-Free Optimization for Strongly Convex Constraint Sets

Jarrid Rector-Brooks, Jun-Kun Wang, Barzan Mozafari

On Sampling Complexity of the Semidefinite Affine Rank Feasibility Problem

Igor Molybog, Javad Lavaei

Automatic Construction of Parallel Portfolios via Explicit Instance Grouping

Shengcai Liu, Ke Tang, Xin Yao

Adaptive Proximal Average Based Variance Reducing Stochastic Methods for Optimization with Composite Regularization

Jingchang Liu, Linli Xu, Junliang Guo, Xin Sheng

RSA: Byzantine-Robust Stochastic Aggregation Methods for Distributed Learning from Heterogeneous Datasets

Liping Li, Wei Xu, Tianyi Chen, Georgios B. Giannakis, Qing Ling

A Recursive Algorithm for Projected Model Counting

Jean-Marie Lagniez, Pierre Marquis

Asynchronous Delay-Aware Accelerated Proximal Coordinate Descent for Nonconvex Nonsmooth Problems

Ehsan Kazemi, Liqiang Wang

Separator-Based Pruned Dynamic Programming for Steiner Tree

Yoichi Iwata, Takuto Shigemura

Abduction-Based Explanations for Machine Learning Models

Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva

Faster Gradient-Free Proximal Stochastic Methods for Nonconvex Nonsmooth Optimization

Feihu Huang, Bin Gu, Zhouyuan Huo, Songcan Chen, Heng Huang

Constraint-Based Sequential Pattern Mining with Decision Diagrams

Amin Hosseininasab, Willem-Jan van Hoeve, Andre A. Cire

Stochastic Submodular Maximization with Performance-Dependent Item Costs

Takuro Fukunaga, Takuya Konishi, Sumio Fujita, Ken-Ichi Kawarabayashi

Solving Integer Quadratic Programming via Explicit and Structural Restrictions

Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak

A Nonconvex Projection Method for Robust PCA

Aritra Dutta, Filip Hanzely, Peter Richtarik

On Geometric Alignment in Low Doubling Dimension

Hu Ding, Mingquan Ye

Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory

Alexander Diedrich, Alexander Maier, Oliver Niggemann

Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning

Quentin Cappart, Emmanuel Goutierre, David Bergman, Louis-Martin Rousseau

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples

Curtis Bright, Dragomir Ž. Ðoković, Ilias Kotsireas, Vijay Ganesh

Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation

Daniel Anderson, Gregor Hendel, Pierre Le Bodic, Merlin Viernickel

Learning Optimal and Fair Decision Trees for Non-Discriminative Decision-Making

Sina Aghaei, Mohammad Javad Azizi, Phebe Vayanos

A Deep Neural Network for Unsupervised Anomaly Detection and Diagnosis in Multivariate Time Series Data

Chuxu Zhang, Dongjin Song, Yuncong Chen, Xinyang Feng, Cristian Lumezanu

Deep Reinforcement Learning for Green Security Games with Real-Time Information

Yufei Wang, Zheyuan Ryan Shi, Lantao Yu, Yi Wu, Rohit Singh

A Deep Reinforcement Learning Framework for Rebalancing Dockless Bike Sharing Systems

Ling Pan, Qingpeng Cai, Zhixuan Fang, Pingzhong Tang, Longbo Huang

Interpretable Predictive Modeling for Climate Variables with Weighted Lasso

Sijie He, Xinyan Li, Vidyashankar Sivakumar, Arindam Banerjee

Deep Bayesian Optimization on Attributed Graphs

Jiaxu Cui, Bo Yang, Xia Hu

Modelling Autobiographical Memory Loss across Life Span

Di Wang, Ah-Hwee Tan, Chunyan Miao, Ahmed A. Moustafa

Simulation-Based Approach to Efficient Commonsense Reasoning in Very Large Knowledge Bases

Abhishek Sharma, Keith M. Goolsbey

Scalable Recollections for Continual Lifelong Learning

Matthew Riemer, Tim Klinger, Djallel Bouneffouf, Michele Franceschini

Attentive Tensor Product Learning

Qiuyuan Huang, Li Deng, Dapeng Wu, Chang Liu, Xiaodong He

Human-Like Sketch Object Recognition via Analogical Learning

Kezhen Chen, Irina Rabkina, Matthew D. McLure, Kenneth D. Forbus

MPD-AL: An Efficient Membrane Potential Driven Aggregate-Label Learning Algorithm for Spiking Neurons

Malu Zhang, Jibin Wu, Yansong Chua, Xiaoling Luo, Zihan Pan

TDSNN: From Deep Neural Networks to Deep Spike Neural Networks with Temporal-Coding

Lei Zhang, Shengyuan Zhou, Tian Zhi, Zidong Du, Yunji Chen

Direct Training for Spiking Neural Networks: Faster, Larger, Better

YuJie Wu, Lei Deng, Guoqi Li, Jun Zhu, Yuan Xie

Cognitive Deficit of Deep Learning in Numerosity

Xiaolin Wu, Xi Zhang, Xiao Shu

DeepDPM: Dynamic Population Mapping via Deep Neural Network

Zefang Zong, Jie Feng, Kechun Liu, Hongzhi Shi, Yong Li

One-Class Adversarial Nets for Fraud Detection

Panpan Zheng, Shuhan Yuan, Xintao Wu, Jun Li, Aidong Lu

SAFE: A Neural Survival Analysis Model for Fraud Early Detection

Panpan Zheng, Shuhan Yuan, Xintao Wu

Incorporating Semantic Similarity with Geographic Correlation for Query-POI Relevance Learning

Ji Zhao, Dan Peng, Chuhan Wu, Huan Chen, Meiyu Yu

Optimal Interdiction of Urban Criminals with the Aid of Real-Time Information

Youzhi Zhang, Qingyu Guo, Bo An, Long Tran-Thanh, Nicholas R. Jennings

MetaStyle: Three-Way Trade-off among Speed, Flexibility, and Quality in Neural Style Transfer

Chi Zhang, Yixin Zhu, Song-chun Zhu

Learning Phenotypes and Dynamic Patient Representations via RNN Regularized Collective Non-Negative Tensor Factorization

Kejing Yin, Dong Qian, William K. Cheung, Benjamin C. M. Fung, Jonathan Poon

TET-GAN: Text Effects Transfer via Stylization and Destylization

Shuai Yang, Jiaying Liu, Wenjing Wang, Zongming Guo

A2-Net: Molecular Structure Estimation from Cryo-EM Density Volumes

Kui Xu, Zhe Wang, Jianping Shi, hongsheng Li, Qiangfeng Cliff Zhang

On Strength Adjustment for MCTS-Based Programs

I-Chen Wu, Ti-Rong Wu, An-Jen Liu, Hung Guei, Tinghan Wei

G2C: A Generator-to-Classifier Framework Integrating Multi-Stained Visual Cues for Pathological Glomerulus Classification

Bingzhe Wu, Xiaolu Zhang, Shiwan Zhao, Lingxi Xie, Caihong Zeng

Hierarchical Macro Strategy Model for MOBA Game AI

Bin Wu

Functional Connectivity Network Analysis with Discriminative Hub Detection for Brain Disease Identification

Mingliang Wang, Jiashuang Huang, Mingxia Liu, Daoqiang Zhang

Private Model Compression via Knowledge Distillation

Ji Wang, Weidong Bao, Lichao Sun, Xiaomin Zhu, Bokai Cao

Differentially Private Empirical Risk Minimization with Smooth Non-Convex Loss Functions: A Non-Stationary View

Di Wang, Jinhui Xu

PerformanceNet: Score-to-Audio Music Generation with Multi-Band Convolutional Residual Network

Bryan Wang, Yi-Hsuan Yang

Exploiting the Contagious Effect for Employee Turnover Prediction

Mingfei Teng, Hengshu Zhu, Chuanren Liu, Chen Zhu, Hui Xiong

Improving Search with Supervised Learning in Trick-Based Card Games

Christopher Solinas, Douglas Rebstock, Michael Buro

Subtask Gated Networks for Non-Intrusive Load Monitoring

Changho Shin, Sunghwan Joo, Jaeryun Yim, Hyoseop Lee, Taesup Moon