IJCAI 2017

781 papers

Model Accuracy and Runtime Tradeoff in Distributed Deep Learning: A Systematic Study

Suyog Gupta, Wei Zhang, Fei Wang

Multi-Type Activity Recognition from a Robot's Viewpoint

Ilaria Gori, J. K. Aggarwal, Larry Matthies, Michael. S. Ryoo

Using Constraint Programming to solve a Cryptanalytic Problem

David Gerault, Marine Minier, Christine Solnon

Which is the Fairest (Rent Division) of Them All? [Extended Abstract]

Ya'akov (Kobi) Gal, Moshe Mash, Ariel D. Procaccia, Yair Zick

Lexicons on Demand: Neural Word Embeddings for Large-Scale Text Analysis

Ethan Fast, Binbin Chen, Michael S. Bernstein

Lessons from the Amazon Picking Challenge: Four Aspects of Building Robotic Systems

Clemens Eppner, Sebastian Höfer, Rico Jonschkowski, Roberto Martín-Martín, Arne Sieverling

Enhancing Crowdworkers' Vigilance

Avshalom Elmalech, David Sarne, Esther David, Chen Hajaj

User-Based Opinion-based Recommendation

Ruihai Dong, Barry Smyth

Intuitionistic Layered Graph Logic

Simon Docherty, David Pym

Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling

Christopher De Sa, Kunle Olukotun, Christopher Re

Predicting Human Similarity Judgments with Distributional Models: The Value of Word Associations

Simon De Deyne, Amy Perfors, Daniel J. Navarro

Efficient Techniques for Crowdsourced Top-k Lists

Luca De Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis

Open-World Probabilistic Databases: An Abridged Report

İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck

Concerning Referring Expressions in Query Answers

Alexander Borgida, David Toman, Grant Weddell

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach

Unsatisfiable Core Shrinking for Anytime Answer Set Optimization

Mario Alviano, Carmine Dodaro

Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract

Stephane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit

Online Decision-Making for Scalable Autonomous Systems

Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein

Privacy and Autonomous Systems

Jose M. Such

Should Robots be Obedient?

Smitha Milli, Dylan Hadfield-Menell, Anca Dragan, Stuart Russell

Concrete Problems for Autonomous Vehicle Safety: Advantages of Bayesian Deep Learning

Rowan McAllister, Yarin Gal, Alex Kendall, Mark van der Wilk, Amar Shah

Context-Based Reasoning on Privacy in Internet of Things

Nadin Kökciyan, Pinar Yolum

Achieving Coordination in Multi-Agent Systems by Stable Local Conventions under Community Networks

Shuyue Hu, Ho-fung Leung

On Automating the Doctrine of Double Effect

Naveen Sundar Govindarajulu, Selmer Bringsjord

A Goal Reasoning Agent for Controlling UAVs in Beyond-Visual-Range Air Combat

Michael W. Floyd, Justin Karneeb, Philip Moore, David W. Aha

Reinforcement Learning with a Corrupted Reward Channel

Tom Everitt, Victoria Krakovna, Laurent Orseau, Shane Legg

Responsible Autonomy

Virginia Dignum

Algorithmic Bias in Autonomous Systems

David Danks, Alex John London

When Will Negotiation Agents Be Able to Represent Us? The Challenges and Opportunities for Autonomous Negotiators

Tim Baarslag, Michael Kaisers, Enrico H. Gerding, Catholijn M. Jonker, Jonathan Gratch

Plato's Cave in the Dempster-Shafer land--the Link between Pignistic and Plausibility Transformations

Chunlai Zhou, Biao Qin, Xiaoyong Du

Approximating Discrete Probability Distribution of Image Emotions by Multi-Modal Features Fusion

Sicheng Zhao, guiguang ding, Yue Gao, Jungong Han

Dynamic Programming Bipartite Belief Propagation For Hyper Graph Matching

Zhen Zhang, Julian McAuley, Yong Li, Wei Wei, Yanning Zhang

Single-Image 3D Scene Parsing Using Geometric Commonsense

Chengcheng Yu, Xiaobai Liu, Song-chun Zhu

Robust Quadratic Programming for Price Optimization

Akihiro Yabe, Shinji Ito, Ryohei Fujimaki

XOR-Sampling for Network Design with Correlated Stochastic Events

xiaojian wu, Yexiang Xue, Bart Selman, Carla P. Gomes

Scalable Estimation of Dirichlet Process Mixture Models on Distributed Data

Ruohui Wang, Dahua Lin

Order Statistics for Probabilistic Graphical Models

David Smith, Sara Rouhani, Vibhav Gogate

Efficient Inference for Untied MLNs

Somdeb Sarkhel, Deepak Venugopal, Nicholas Ruozzi, Vibhav Gogate

Weighted Model Integration with Orthogonal Transformations

David Merrell, Aws Albarghouthi, Loris D'Antoni

Variational Mixtures of Gaussian Processes for Classification

Chen Luo, Shiliang Sun

Coarse-to-Fine Lifted MAP Inference in Computer Vision

Haroun Habeeb, Ankit Anand, Mausam, Parag Singla

Incremental Decision Making Under Risk with the Weighted Expected Utility Model

Hugo Gilbert, Nawal Benabbou, Patrice Perny, Olivier Spanjaard, Paolo Viappiani

Fair and Efficient Social Choice in Dynamic Settings

Rupert Freeman, Seyed Majid Zahedi, Vincent Conitzer

COG-DICE: An Algorithm for Solving Continuous-Observation Dec-POMDPs

Madison Clark-Turner, Christopher Amato

Adaptive Elicitation of Preferences under Uncertainty in Sequential Decision Making Problems

Nawal Benabbou, Patrice Perny

Image Gradient-based Joint Direct Visual Odometry for Stereo Camera

Jianke Zhu

Is My Object in This Video? Reconstruction-based Object Search in Videos

Tan Yu, Jingjing Meng, Junsong Yuan

Cross-Granularity Graph Inference for Semantic Video Object Segmentation

Huiling Wang, Tinghuai Wang, Ke Chen, Joni-Kristian Kämäräinen

Learning to Hallucinate Face Images via Component Generation and Enhancement

Yibing Song, Jiawei Zhang, Shengfeng He, Linchao Bao, Qingxiong Yang

Fast Preprocessing for Robust Face Sketch Synthesis

Yibing Song, Jiawei Zhang, Linchao Bao, Qingxiong Yang

Combining Models from Multiple Sources for RGB-D Scene Recognition

Xinhang Song, Shuqiang Jiang, Luis Herranz

Maintaining Communication in Multi-Robot Tree Coverage

Mor Sinay, Noa Agmon, Oleg Maksimov, Sarit Kraus, David Peleg

Temporal Grounding Graphs for Language Understanding with Accrued Visual-Linguistic Context

Rohan Paul, Andrei Barbu, Sue Felshin, Boris Katz, Nicholas Roy

Salient Object Detection with Semantic Priors

Tam V. Nguyen, Luoqi Liu

Locality Preserving Matching

Jiayi Ma, Ji Zhao, Hanqi Guo, Junjun Jiang, Huabing Zhou

Dual Track Multimodal Automatic Learning through Human-Robot Interaction

Shuqiang Jiang, Weiqing Min, Xue Li, Huayang Wang, Jian Sun

Bridging the Gap between Observation and Decision Making: Goal Recognition and Flexible Resource Allocation in Dynamic Network Interdiction

Kai Xu, Kaiming Xiao, Quanjun Yin, Yabing Zha, Cheng Zhu

A Scalable Approach to Chasing Multiple Moving Targets with Multiple Agents

Fan Xie, Adi Botea, Akihiro Kishimoto

Hierarchical Task Network Planning with Task Insertion and State Constraints

Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su

New Metrics and Algorithms for Stochastic Goal Recognition Design Problems

Christabel Wayllace, Ping Hou, William Yeoh

Heuristic Online Goal Recognition in Continuous Domains

Mor Vered, Gal A. Kaminka

Temporal Planning for Compilation of Quantum Approximate Optimization Circuits

Davide Venturelli, Minh Do, Eleanor Rieffel, Jeremy Frank

Mechanism Design for Strategic Project Scheduling

Pradeep Varakantham, Na Fu

From Qualitative to Quantitative Dominance Pruning for Optimal Planning

Álvaro Torralba

Robust Advertisement Allocation

Shaojie Tang

An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization

Hanna Sumita, Yuma Yonebayashi, Naonori Kakimura, Ken-Ichi Kawarabayashi

Efficient, Safe, and Probably Approximately Complete Learning of Action Models

Roni Stern, Brendan Juba

Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning

Marcel Steinmetz, Jorg Hoffmann

Generating Context-Free Grammars using Classical Planning

Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson

Landmarks for Numeric Planning Problems

Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux

Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs

Mehdi Sadeqi, Howard J. Hamilton

Deceptive Path-Planning

Peta Masters, Sebastian Sardina

Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning

Dongcai Lu, Yi Zhou, Feng Wu, Zhao Zhang, Xiaoping Chen

Equi-Reward Utility Maximizing Design in Stochastic Environments

Sarah Keren, Luis Pineda, Avigdor Gal, Erez Karpas, Shlomo Zilberstein

Factorized Asymptotic Bayesian Policy Search for POMDPs

Masaaki Imaizumi, Ryohei Fujimaki

Numeric Planning via Abstraction and Policy Guided Search

León Illanes, Sheila A. McIlraith

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control

Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng

Softpressure: A Schedule-Driven Backpressure Algorithm for Coping with Network Congestion

Hsu-Chieh Hu, Stephen F. Smith

Intelligent Belief State Sampling for Conformant Planning

Alban Grastien, Enrico Scala

Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search

Daniel Gnad, Valerie Poser, Jorg Hoffmann

On Creating Complementary Pattern Databases

Santiago Franco, Álvaro Torralba, Levi H. S. Lelis, Mike Barley

Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators

Guillem Francès, Miquel Ramirez, Nir Lipovetzky, Hector Geffner

Additive Merge-and-Shrink Heuristics for Diverse Action Costs

Gaojian Fan, Martin Müller, Robert Holte

Faster Conflict Generation for Dynamic Controllability

Nikhil Bhargava, Tiago Vaquero, Brian Williams

Reduction Techniques for Model Checking and Learning in MDPs

Suda Bharadwaj, Stephane Le Roux, Guillermo Pérez, Ufuk Topcu

Efficient Optimal Search under Expensive Edge Cost Computation

Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth M. Daly

Iterative Entity Alignment via Joint Knowledge Embeddings

Hao Zhu, Ruobing Xie, Zhiyuan Liu, Maosong Sun

Maximum Expected Likelihood Estimation for Zero-resource Neural Machine Translation

Hao Zheng, Yong Cheng, Yang Liu

Entity Suggestion with Conceptual Expanation

Yi Zhang, Yanghua Xiao, Seung-won Hwang, Haixun Wang, X. Sean Wang

Automatic Generation of Grounded Visual Questions

Shijie Zhang, Lizhen Qu, Shaodi You, Zhenglu Yang, Jiawan Zhang

Segmenting Chinese Microtext: Joint Informal-Word Detection and Segmentation with Neural Networks

Meishan Zhang, Guohong Fu, Nan Yu

AGRA: An Analysis-Generation-Ranking Framework for Automatic Abbreviation from Paper Titles

Jianbing Zhang, Yixin Sun, Shujian Huang, Cam-Tu Nguyen, Xiaoliang Wang

Learning Conversational Systems that Interleave Task and Non-Task Content

Zhou Yu, Alexander Rudnicky, Alan Black

A Correlated Topic Model Using Word Embeddings

Guangxu Xun, Yaliang Li, Wayne Xin Zhao, Jing Gao, Aidong Zhang

Lexical Sememe Prediction via Word Embeddings and Matrix Factorization

Ruobing Xie, Xingchi Yuan, Zhiyuan Liu, Maosong Sun

Fast Parallel Training of Neural Language Models

Tong Xiao, Jingbo Zhu, Tongran Liu, Chunliang Zhang

Symbolic Priors for RNN-based Semantic Parsing

Chunyang Xiao, Marc Dymetman, Claire Gardent

Improved Neural Machine Translation with Source Syntax

Shuangzhi Wu, Ming Zhou, Dongdong Zhang

Learning to Identify Ambiguous and Misleading News Headlines

Wei Wei, Xiaojun Wan

A Variational Autoencoding Approach for Inducing Cross-lingual Word Embeddings

Liangchen Wei, Zhi-Hong Deng