IJCAI 2018

870 papers

Maintenance of Case Bases: Current Algorithms after Fifty Years

Jose M. Juarez, Susan Craw, J. Ricardo Lopez-Delgado, Manuel Campos

Evaluation Techniques and Systems for Answer Set Programming: a Survey

Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca

AGI Safety Literature Review

Tom Everitt, Gary Lea, Marcus Hutter

Robust Multi-view Representation: A Unified Perspective from Multi-view Learning to Domain Adaption

Zhengming Ding, Ming Shao, Yun Fu

Five Years of Argument Mining: a Data-driven Analysis

Elena Cabrio, Serena Villata

Recent Advances in Querying Probabilistic Knowledge Bases

Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz

Time Series Chains: A Novel Tool for Time Series Data Mining

Yan Zhu, Makoto Imamura, Daniel Nikovski, Eamonn Keogh

Modeling the Assimilation-Contrast Effects in Online Product Rating Systems: Debiasing and Recommendations

Xiaoying Zhang, Hong Xie, Junzhou Zhao, John C.S. Lui

A Conversational Approach to Process-oriented Case-based Reasoning

Christian Zeyen, Gilbert Müller, Ralph Bergmann

Bridging the Gap Between Theory and Practice in Influence Maximization: Raising Awareness about HIV among Homeless Youth

Amulya Yadav, Bryan Wilder, Eric Rice, Robin Petering, Jaih Craddock

Greedy Stone Tower Creations with a Robotic Arm

Martin Wermelinger, Fadri Furrer, Hironori Yoshida, Fabio Gramazio, Matthias Kohler

Generating High Resolution Climate Change Projections through Single Image Super-Resolution: An Abridged Version

Thomas Vandal, Evan Kodra, Sangram Ganguly, Andrew Michaelis, Ramakrishna Nemani

Operator Counting Heuristics for Probabilistic Planning

Felipe Trevizan, Sylvie Thiébaux, Patrik Haslum

Multi-Objective Optimization Through Pareto Minimal Correction Subsets

Miguel Terra-Neves, Ines Lynce, Vasco Manquinho

Tamper-Proof Privacy Auditing for Artificial Intelligence Systems

Andrew Sutton, Reza Samavi

A Genetic Programming Approach to Designing Convolutional Neural Network Architectures

Masanori Suganuma, Shinichi Shirakawa, Tomoharu Nagao

Marathon Race Planning: A Case-Based Reasoning Approach

Barry Smyth, Padraig Cunningham

An Efficient Minibatch Acceptance Test for Metropolis-Hastings

Daniel Seita, Xinlei Pan, Haoyu Chen, John Canny

Recursive Spoken Instruction-Based One-Shot Object and Action Learning

Matthias Scheutz, Evan Krause, Bradley Oosterveld, Tyler Frasca, Robert Platt

Evaluating and Complementing Vision-to-Language Technology for People who are Blind with Conversational Crowdsourcing

Elliot Salisbury, Ece Kamar, Meredith Ringel Morris

The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs

Panos Rondogiannis, Ioanna Symeonidou

Completeness-aware Rule Learning from Knowledge Graphs

Thomas Pellissier Tanon, Daria Stepanova, Simon Razniewski, Paramita Mirza, Gerhard Weikum

Distributing Frank-Wolfe via Map-Reduce

Armin Moharrer, Stratis Ioannidis

Cost-Based Goal Recognition for the Path-Planning Domain

Peta Masters, Sebastian Sardina

Inhibition of Occluded Facial Regions for Distance-Based Face Recognition

Daniel López Sánchez, Juan M. Corchado, Angelica González Arrieta

An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate

Jia Liang, Hari Govind, Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh

Multi-Robot Motion Planning with Dynamics Guided by Multi-Agent Search

Duong Le, Erion Plaku

Attributed Description Logics: Reasoning on Knowledge Graphs

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs

Krzysztof Krawiec, Iwo Błądek, Jerry Swan, John H. Drake

Geolocating Images with Crowdsourcing and Diagramming

Rachel Kohler, John Purviance, Kurt Luther

Emergent Tangled Program Graphs in Multi-Task Learning

Stephen Kelly, Malcolm Heywood

Orchestrating a Network of Mereotopological Theories: An Abridged Report

C. Maria Keet, Oliver Kutz

Unbiased Learning-to-Rank with Biased Feedback

Thorsten Joachims, Adith Swaminathan, Tobias Schnabel

Make Evasion Harder: An Intelligent Android Malware Detection System

Shifu Hou, Yanfang Ye, Yangqiu Song, Melih Abdulhayoglu

Accelerating Innovation Through Analogy Mining

Tom Hope, Joel Chan, Aniket Kittur, Dafna Shahaf

Search Progress and Potentially Expanded States in Greedy Best-First Search

Manuel Heusner, Thomas Keller, Malte Helmert

Translation-based Recommendation: A Scalable Method for Modeling Sequential Behavior

Ruining He, Wang-Cheng Kang, Julian McAuley

A Model of Distributed Query Computation in Client-Server Scenarios on the Semantic Web

Olaf Hartig, Ian Letter, Jorge Pérez

Toeplitz Inverse Covariance-based Clustering of Multivariate Time Series Data

David Hallac, Sagar Vare, Stephen Boyd, Jure Leskovec

Reducing Controversy by Connecting Opposing Views

Kiran Garimella, Gianmarco De Francisci Morales, Aristides Gionis, Michael Mathioudakis

Inductive Certificates of Unsolvability for Domain-Independent Planning

Salomé Eriksson, Gabriele Röger, Malte Helmert

Importance Sampling for Fair Policy Selection

Shayan Doroudi, Philip S. Thomas, Emma Brunskill

Combinatorial Cost Sharing

Shahar Dobzinski, Shahar Ovadia

The Finite Model Theory of Bayesian Networks: Descriptive Complexity

Fabio Gagliardi Cozman, Denis Deratani Mauá

Dynamic Dependency Awareness for QBF

Joshua Blinkhorn, Olaf Beyersdorff

Learning with Sparse and Biased Feedback for Personal Search

Michael Bendersky, Xuanhui Wang, Marc Najork, Donald Metzler

Improving Information Extraction from Images with Learned Semantic Models

Stephan Baier, Yunpu Ma, Volker Tresp

Reduced Cost Fixing for Maximum Satisfiability

Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko

A Unifying View of Geometry, Semantics, and Data Association in SLAM

Nikolay Atanasov, Sean L. Bowman, Kostas Daniilidis, George J. Pappas

TensorCast: Forecasting Time-Evolving Networks with Contextual Information

Miguel Araújo, Pedro Ribeiro, Christos Faloutsos

Weighted Bipolar Argumentation Graphs: Axioms and Semantics

Leila Amgoud, Jonathan Ben-Naim

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward

Giovanni Amendola, Nicola Leone, Marco Manna

The Facets of Artificial Intelligence: A Framework to Track the Evolution of AI

Fernando Martínez-Plumed, Bao Sheng Loe, Peter Flach, Sean Ó hÉigeartaigh, Karina Vold

Evolving AI from Research to Real Life – Some Challenges and Suggestions

Sandya Mannarswamy, Shourya Roy

Quantifying Algorithmic Improvements over Time

Lars Kotthoff, Alexandre Fréchette, Tomasz Michalak, Talal Rahwan, Holger H. Hoos

Artificial Intelligence Conferences Closeness

Sébastien Konieczny, Emmanuel Lonca

Towards Consumer-Empowering Artificial Intelligence

Giuseppe Contissa, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka

On a Scientific Discipline (Once) Named AI

Wolfgang Bibel

A Savage-style Utility Theory for Belief Functions

Chunlai Zhou, Biao Qin, Xiaoyong Du

Mixed Causal Structure Discovery with Application to Prescriptive Pricing

Wei Wenjuan, Feng Lu, Liu Chunchen

A Scalable Scheme for Counting Linear Extensions

Topi Talvitie, Kustaa Kangas, Teppo Niinimäki, Mikko Koivisto

Scalable Probabilistic Causal Structure Discovery

Dhanya Sridhar, Jay Pujara, Lise Getoor

A Symbolic Approach to Explaining Bayesian Network Classifiers

Andy Shih, Arthur Choi, Adnan Darwiche

Algorithms for the Nearest Assignment Problem

Sara Rouhani, Tahrima Rahman, Vibhav Gogate

Reliable Multi-class Classification based on Pairwise Epistemic and Aleatoric Uncertainty

Vu-Linh Nguyen, Sébastien Destercke, Marie-Hélène Masson, Eyke Hüllermeier

Estimation with Incomplete Data: The Linear Case

Karthika Mohan, Felix Thoemmes, Judea Pearl

Stochastic Anytime Search for Bounding Marginal MAP

Radu Marinescu, Rina Dechter, Alexander Ihler

Lifted Filtering via Exchangeable Decomposition

Stefan Lüdtke, Max Schröder, Sebastian Bader, Kristian Kersting, Thomas Kirste

Unsupervised Learning based Jump-Diffusion Process for Object Tracking in Video Surveillance

Xiaobai Liu, Donovan Lo, Chau Thuan

Patent Litigation Prediction: A Convolutional Tensor Factorization Approach

Qi Liu, Han Wu, Yuyang Ye, Hongke Zhao, Chuanren Liu

Building Sparse Deep Feedforward Networks using Tree Receptive Fields

Xiaopeng Li, Zhourong Chen, Nevin L. Zhang

Policy Optimization with Second-Order Advantage Information

JIAJIN LI, Baoxiang Wang, Shengyu Zhang

Efficient Symbolic Integration for Probabilistic Inference

Samuel Kolb, Martin Mladenov, Scott Sanner, Vaishak Belle, Kristian Kersting

A Graphical Criterion for Effect Identification in Equivalence Classes of Causal Diagrams

Amin Jaber, Jiji Zhang, Elias Bareinboim

Redundancy-resistant Generative Hashing for Image Retrieval

Changying Du, Xingyu Xie, Changde Du, Hao Wang

Metadata-dependent Infinite Poisson Factorization for Efficiently Modelling Sparse and Large Matrices in Recommendation

Trong Dinh Thac Do, Longbing Cao

On Robust Trimming of Bayesian Network Classifiers

YooJung Choi, Guy Van den Broeck

The Promise and Perils of Myopia in Dynamic Pricing With Censored Information

Meenal Chhabra, Sanmay Das, Ilya Ryzhov

Efficient Localized Inference for Large Graphical Models

Jinglin Chen, Jian Peng, Qiang Liu

Parameterised Queries and Lifted Query Answering

Tanya Braun, Ralf Möller

Active Recurrence of Lighting Condition for Fine-Grained Change Detection

Qian Zhang, Wei Feng, Liang Wan, Fei-Peng Tian, Ping Tan

Active Object Reconstruction Using a Guided View Planner

Xin Yang, Yuanbo Wang, Yaru Wang, Baocai Yin, Qiang Zhang

3D-PhysNet: Learning the Intuitive Physics of Non-Rigid Object Deformations

Zhihua Wang, Stefano Rosa, Bo Yang, Sen Wang, Niki Trigoni

Behavioral Cloning from Observation

Faraz Torabi, Garrett Warnell, Peter Stone

Robot Task Interruption by Learning to Switch Among Multiple Models

Anahita Mohseni-Kabir, Manuela Veloso

Learning Unmanned Aerial Vehicle Control for Autonomous Target Following

Siyi Li, Tianbo Liu, Chi Zhang, Dit-Yan Yeung, Shaojie Shen

An Appearance-and-Structure Fusion Network for Object Viewpoint Estimation

Yueying Kao, Weiming Li, Zairan Wang, Dongqing Zou, Ran He

Online, Interactive User Guidance for High-dimensional, Constrained Motion Planning

Fahad Islam, Oren Salzman, Maxim Likhachev

Virtual-to-Real: Learning to Control in Visual Semantic Segmentation

Zhang-Wei Hong, Yu-Ming Chen, Hsuan-Kung Yang, Shih-Yang Su, Tzu-Yun Shann

Interactive Robot Transition Repair With SMT

Jarrett Holtz, Arjun Guha, Joydeep Biswas

Implicit Non-linear Similarity Scoring for Recognizing Unseen Classes

Yuchen Guo, guiguang ding, Jungong Han, Sicheng Zhao, Bin Wang

Bayesian Active Edge Evaluation on Expensive Graphs

Sanjiban Choudhury, Siddhartha Srinivasa, Sebastian Scherer

Learning Transferable UAV for Forest Visual Perception

Lyujie Chen, Wufan Wang, Jihong Zhu

GraspNet: An Efficient Convolutional Neural Network for Real-time Grasp Detection for Low-powered Devices

Umar Asif, Jianbin Tang, Stefan Harrer

Minimax-Regret Querying on Side Effects for Safe Optimality in Factored Markov Decision Processes

Shun Zhang, Edmund H. Durfee, Satinder Singh

PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making

Fangkai Yang, Daoming Lyu, Bo Liu, Steven Gustafson

Admissible Abstractions for Near-optimal Task and Motion Planning

William Vega-Brown, Nicholas Roy

Completeness-Preserving Dominance Techniques for Satisficing Planning

Álvaro Torralba

LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning

Marcel Steinmetz, Joerg Hoffmann

Hierarchical Expertise Level Modeling for User Specific Contrastive Explanations

Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati