AAAI 2019

1,341 papers

Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable

Heshan Du, Natasha Alechina

ABox Abduction via Forgetting in ALC

Warren Del-Pinto, Renate A. Schmidt

Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty

Daniel de Leng, Fredrik Heintz

Argumentation for Explainable Scheduling

Kristijonas Čyras, Dimitrios Letsios, Ruth Misener, Francesca Toni

Identification of Causal Effects in the Presence of Selection Bias

Juan D. Correa, Jin Tian, Elias Bareinboim

From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment

David Carral, Larry González, Patrick Koopmann

Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models

Andreas Bunte, Benno Stein, Oliver Niggemann

Querying Attributed DL-Lite Ontologies Using Provenance Semirings

Camille Bourgaux, Ana Ozaki

Ontology-Mediated Query Answering over Log-Linear Probabilistic Data

Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz

Learning Features and Abstract Actions for Computing Generalized Plans

Blai Bonet, Guillem Francès, Hector Geffner

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory

Bart Bogaerts

Abstracting Causal Models

Sander Beckers, Joseph Y. Halpern

Extension Removal in Abstract Argumentation – An Axiomatic Approach

Ringo Baumann, Gerhard Brewka

Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees

Alexander Bagnall, Gordon Stewart

Relaxing and Restraining Queries for OBDA

Medina Andreşel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Šimkus

Unbounded Orchestrations of Transducers for Manufacturing

Natasha Alechina, Tomáš Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan

Satisfiability in Strategy Logic Can Be Easier than Model Checking

Erman Acar, Massimo Benerecetti, Fabio Mogavero

Preference-Aware Task Assignment in Spatial Crowdsourcing

Yan Zhao, Jinfu Xia, Guanfeng Liu, Han Su, Defu Lian

CycleEmotionGAN: Emotional Semantic Consistency Preserved CycleGAN for Adapting Image Emotions

Sicheng Zhao, Chuang Lin, Pengfei Xu, Sendong Zhao, Yuchen Guo

Consensual Affine Transformations for Partial Valuation Aggregation

Hermann Schichl, Meinolf Sellmann

Be Inaccurate but Don’t Be Indecisive: How Error Distribution Can Affect User Experience

Rafael R. Padovani, Lucas N. Ferreira, Levi H. S. Lelis

Goal-Oriented Dialogue Policy Learning from Failures

Keting Lu, Shiqi Zhang, Xiaoping Chen

Lipper: Synthesizing Thy Speech Using Multi-View Lipreading

Yaman Kumar, Rohit Jain, Khwaja Mohd. Salik, Rajiv Ratn Shah, Yifang Yin

Human Motion Prediction via Learning Local Structure Representations and Temporal Dependencies

Xiao Guo, Jongmoo Choi

Election with Bribed Voter Uncertainty: Hardness and Approximation Algorithm

Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi

AI-Sketcher : A Deep Generative Model for Producing High-Quality Sketches

Nan Cao, Xin Yan, Yang Shi, Chaoran Chen

Deep Transformation Method for Discriminant Analysis of Multi-Channel Resting State fMRI

Abhay M S Aradhya, Aditya Joglekar, Sundaram Suresh, M. Pratama

Interactive Semantic Parsing for If-Then Recipes via Hierarchical Reinforcement Learning

Ziyu Yao, Xiujun Li, Jianfeng Gao, Brian Sadler, Huan Sun

FLEX: Faithful Linguistic Explanations for Neural Net Based Model Decisions

Sandareka Wickramanayake, Wynne Hsu, Mong Li Lee

Augmenting Markov Decision Processes with Advising

Loïs Vanhée, Laurent Jeanpierre, Abdel-Illah Mouaddib

Learning Models of Sequential Decision-Making with Partial Specification of Agent Behavior

Vaibhav V. Unhelkar, Julie A. Shah

Generation of Policy-Level Explanations for Reinforcement Learning

Nicholay Topin, Manuela Veloso

Geometry-Aware Face Completion and Editing

Linsen Song, Jie Cao, Lingxiao Song, Yibo Hu, Ran He

Deep Neural Networks Constrained by Decision Rules

Yuzuru Okajima, Kunihiko Sadamasa

RGBD Based Gaze Estimation via Multi-Task CNN

Dongze Lian, Ziheng Zhang, Weixin Luo, Lina Hu, Minye Wu

A Unified Framework for Planning in Adversarial and Cooperative Environments

Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati

Task Transfer by Preference-Based Cost Learning

Mingxuan Jing, Xiaojian Ma, Wenbing Huang, Fuchun Sun, Huaping Liu

Efficiently Combining Human Demonstrations and Interventions for Safe Training of Autonomous Systems in Real-Time

Vinicius G. Goecks, Gregory M. Gremillion, Vernon J. Lawhern, John Valasek, Nicholas R. Waytowich

Counterfactual Randomization: Rescuing Experimental Studies from Obscured Confounding

Andrew Forney, Elias Bareinboim

Verifying Robustness of Gradient Boosted Models

Gil Einziger, Maayan Goldstein, Yaniv Sa’ar, Itai Segall

Human-in-the-Loop Feature Selection

Alvaro H. C. Correia, Freddy Lecue

Updates in Human-AI Teams: Understanding and Addressing the Performance/Compatibility Tradeoff

Gagan Bansal, Besmira Nushi, Ece Kamar, Daniel S. Weld, Walter S. Lasecki

Making Money from What You Know - How to Sell Information?

Shani Alkoby, Zihe Wang, David Sarne, Pingzhong Tang

One-Network Adversarial Fairness

Tameem Adel, Isabel Valera, Zoubin Ghahramani, Adrian Weller

Fuzzy-Classification Assisted Solution Preselection in Evolutionary Optimization

Aimin Zhou, Jinyuan Zhang, Jianyong Sun, Guixu Zhang

An Improved Generic Bet-and-Run Strategy with Performance Prediction for Stochastic Local Search

Thomas Weise, Zijun Wu, Markus Wagner

Bounded Suboptimal Search with Learned Heuristics for Multi-Agent Systems

Markus Spies, Marco Todescato, Hannes Becker, Patrick Kesper, Nicolai Waniek

Enriching Non-Parametric Bidirectional Search Algorithms

Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant, Solomon E. Shimony, Avi Hayoun

Allocating Planning Effort When Actions Expire

Shahaf S. Shperberg, Andrew Coles, Bence Cserna, Erez Karpas, Wheeler Ruml

Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Christopher D. Rosin

Pareto Optimization for Subset Selection with Dynamic Cost Constraints

Vahid Roostapour, Aneta Neumann, Frank Neumann, Tobias Friedrich

Evolving Solutions to Community-Structured Satisfiability Formulas

Frank Neumann, Andrew M. Sutton

Real-Time Planning as Decision-Making under Uncertainty

Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jorg Hoffmann, Marek Petrik

Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games

Julian R. H. Mariño, Rubens O. Moraes, Claudio Toledo, Levi H. S. Lelis

On the Time Complexity of Algorithm Selection Hyper-Heuristics for Multimodal Optimisation

Andrei Lissovoi, Pietro S. Oliveto, John Alasdair Warwicker

Fine-Grained Search Space Classification for Hard Enumeration Variants of Subset Problems

Juho Lauri, Sourav Dutta

Bézier Simplex Fitting: Describing Pareto Fronts of´ Simplicial Problems with Small Samples in Multi-Objective Optimization

Ken Kobayashi, Naoki Hamada, Akiyoshi Sannai, Akinori Tanaka, Kenichi Bannai

Running Time Analysis of MOEA/D with Crossover on Discrete Optimization Problem

Zhengxin Huang, Yuren Zhou, Zefeng Chen, Xiaoyu He

On the Optimal Efficiency of Cost-Algebraic A*

Robert C. Holte, Sandra Zilles

Heuristic Search Algorithm for Dimensionality Reduction Optimally Combining Feature Selection and Feature Extraction

Baokun He, Swair Shah, Crystal Maung, Gordon Arnold, Guihong Wan

Greedy Maximization of Functions with Bounded Curvature under Partition Matroid Constraints

Tobias Friedrich, Andreas Göbel, Frank Neumann, Francesco Quinzan, Ralf Rothenberger

A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem

Junwen Ding, Zhipeng Lü, Chu-Min Li, Liji Shen, Liping Xu

Distributionally Adversarial Attack

Tianhang Zheng, Changyou Chen, Kui Ren

Preference-Aware Task Assignment in On-Demand Taxi Dispatching: An Online Stable Matching Approach

Boming Zhao, Pan Xu, Yexuan Shi, Yongxin Tong, Zimu Zhou

A PAC Framework for Aggregating Agents’ Judgments

Hanrui Zhang, Vincent Conitzer

A Better Algorithm for Societal Tradeoffs

Hanrui Zhang, Yu Cheng, Vincent Conitzer

A Unified Approach to Online Matching with Conflict-Aware Constraints

Pan Xu, Yexuan Shi, Hao Cheng, John Dickerson, Karthik Abinav Sankararaman

Defending Elections against Malicious Spread of Misinformation

Bryan Wilder, Yevgeniy Vorobeychik

Poll-Confident Voters in Iterative Voting

Anaëlle Wilczynski

Random Walk Decay Centrality

Tomasz Wąs, Talal Rahwan, Oskar Skibski

Practical Algorithms for Multi-Stage Voting Rules with Parallel Universes Tiebreaking

Jun Wang, Sujoy Sikdar, Tyler Shepherd, Zhibing Zhao, Chunheng Jiang

A Framework for Approval-Based Budgeting Methods

Nimrod Talmon, Piotr Faliszewski

Learning Deviation Payoffs in Simulation-Based Games

Samuel Sokota, Caleb Ho, Bryce Wiedenbeck

Mechanism Design for Multi-Type Housing Markets with Acceptable Bundles

Sujoy Sikdar, Sibel Adalı, Lirong Xia

Variance Reduction in Monte Carlo Counterfactual Regret Minimization (VR-MCCFR) for Extensive Form Games Using Baselines

Martin Schmid, Neil Burch, Marc Lanctot, Matej Moravcik, Rudolf Kadlec

Learning Optimal Strategies to Commit To

Binghui Peng, Weiran Shen, Pingzhong Tang, Song Zuo

Fairly Allocating Many Goods with Few Queries

Hoon Oh, Ariel D. Procaccia, Warut Suksompong

Deception in Finitely Repeated Security Games

Thanh H. Nguyen, Yongzhao Wang, Arunesh Sinha, Michael P. Wellman

Optimal Dynamic Auctions Are Virtual Welfare Maximizers

Vahab Mirrokni, Renato Paes Leme, Pingzhong Tang, Song Zuo

Quasi-Perfect Stackelberg Equilibrium

Alberto Marchesi, Gabriele Farina, Christian Kroer, Nicola Gatti, Tuomas Sandholm

When Do Envy-Free Allocations Exist?

Pasin Manurangsi, Warut Suksompong

Dynamic Contracting under Positive Commitment

Ilan Lobel, Renato Paes Leme

Revenue Enhancement via Asymmetric Signaling in Interdependent-Value Auctions

Zhuoshu Li, Sanmay Das

Cooperation Enforcement and Collusion Resistance in Repeated Public Goods Games

Kai Li, Dong Hao

Heuristic Voting as Ordinal Dominance Strategies

Omer Lev, Reshef Meir, Svetlana Obraztsova, Maria Polukarov

“Reverse Gerrymandering”: Manipulation in Multi-Group Decision Making

Omer Lev, Yoad Lewenberg

Approximate Inference of Outcomes in Probabilistic Elections

Batya Kenig, Benny Kimelfeld

Forming Probably Stable Communities with Limited Interactions

Ayumi Igarashi, Jakub Sliwinski, Yair Zick

Pareto-Optimal Allocation of Indivisible Goods with Connectivity Constraints

Ayumi Igarashi, Dominik Peters

Object Reachability via Swaps along a Line

SEN HUANG, Mingyu Xiao

Solving Partially Observable Stochastic Games with Public Observations

Karel Horák, Branislav Bosansky

On the Inducibility of Stackelberg Equilibrium for Security Games

Qingyu Guo, Jiarui Gan, Fei Fang, Long Tran-Thanh, Milind Tambe

Computing the Yolk in Spatial Voting Games without Computing Median Lines

Joachim Gudmundsson, Sampson Wong

You Get What You Share: Incentives for a Sharing Economy

Sreenivas Gollapudi, Kostas Kollias, Debmalya Panigrahi

Deep Bayesian Trust: A Dominant and Fair Incentive Mechanism for Crowd

Naman Goel, Boi Faltings

Pareto Efficient Auctions with Interest Rates

Gagan Goel, Vahab Mirrokni, Renato Paes Leme

On the Distortion Value of the Elections with Abstention

Mohammad Ghodsi, Mohamad Latifian, Masoud Seddighin

Multi-Unit Bilateral Trade

Matthias Gerstgrasser, Paul W. Goldberg, Bart de Keijzer, Philip Lazos, Alexander Skopalik

Fair and Efficient Memory Sharing: Confronting Free Riders

Eric J. Friedman, Vasilis Gkatzelis, Christos-Alexandros Psomas, Scott Shenker