IJCAI 2016

651 papers

Querying Data Graphs with Arithmetical Regular Expressions

Maciej Graboń, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models

Anne-Marie George, Nic Wilson, Barry O’Sullivan

Trend-Based Prediction of Spatial Change

Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang

Forgetting in Multi-Agent Modal Logics

Liangda Fang, Yongmei Liu, Hans van Ditmarsch

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

Investigating the Relationship between Argumentation Semantics via Signatures

Paul E. Dunne, Christof Spanring, Thomas Linsbichler, Stefan Woltran

LTL

Imperfect-Information Games and Generalized Planning

Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio

On the Impact of Modal Depth in Epistemic Planning

Tristan Charrier, Bastien Maubert, Francçois Schwarzentruber

Plan Synthesis for Knowledge and Action Bases

Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy

An ASP Semantics for Default Reasoning with Constraints

Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

Knowledge Compilation Meets Communication Complexity

Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky

Query-Based Entailment and Inseparability for

ALC

Preferential Query Answering over the Semantic Web with Possibilistic Networks

Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska

Extending the Harper Identity to Iterated Belief Change

Richard Booth, Jake Chandler

ASP for Anytime Dynamic Programming on Tree Decompositions

Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran

Automated Synthesis of Timed Failure Propagation Graphs

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter

Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases

Meghyn Bienvenu, Camille Bourgaux, François Goasdoué

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau

Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds

Ontology-Mediated Queries Distributing over Components

Gerald Berger, Andreas Pieris

The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics

Christoph Benzmüller, Bruno Woltzenlogel Paleo

Equivalent Stream Reasoning Programs

Harald Beck, Minh Dao-Tran, Thomas Eiter

Online Agent Supervision in the Situation Calculus

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

On the Relationship between P-log and LP

Evgenii Balai, Michael Gelfond

Incomplete Causal Laws in the Situation Calculus Using Free Fluents

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardina

Evaluation of Arguments from Support Relations: Axioms and Semantics

Leila Amgoud, Jonathan Ben-Naim

Query Answering with Transitive and Linear-Ordered Data

Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Completion of Disjunctive Logic Programs

Mario Alviano, Carmine Dodaro

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates

Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Šimkus

Interactive Scheduling of Appliance Usage in the Home

Ngoc Cuong Truong, Tim Baarslag, Sarvapali D. Ramchurn, Long Tran-Thanh

Verbalization: Narration of Autonomous Robot Experience

Stephanie Rosenthal, Sai P. Selvaraj, Manuela Veloso

Predictive Models of Malicious Behavior in Human Negotiations

Zahra Nazari, Jonathan Gratch

Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning

Thomas Moerland, Joost Broekens, Catholijn Jonker

Interactive Martingale Boosting

Ashish Kulkarni, Pushpak Burange, Ganesh Ramakrishnan

DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations

Eun-Sol Kim, Kyoung-Woon On, Byoung-tak Zhang

Apprenticeship Scheduling: Learning to Schedule from Human Experts

Matthew Gombolay, Reed Jensen, Jessica Stigile, Sung-Hyun Son, Julie Shah

A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty

Shaofei Chen, Tim Baarslag, Dengji Zhao, Jing Chen, Lincheng Shen

Planning with Task-Oriented Knowledge Acquisition for a Service Robot

Kai Chen, Fangkai Yang, Xiaoping Chen

Interactive Teaching Strategies for Agent Training

Ofra Amir, Ece Kamar, Andrey Kolobov, Barbara J. Grosz

Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork

Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos

Optimizing Simple Tabular Reduction with a Bitwise Representation

Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li

Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling

Sam Snodgrass, Santiago Ontanon

Optimizing Molecular Cloning of Multiple Plasmids

Thierry Petit, Lolita Petit

A Clause Tableau Calculus for MaxSAT

Chu-Min Li, Felip Manyà, Joan Ramon Soler

Static Symmetry Breaking with the Reflex Ordering

Jimmy H. M. Lee, Zichen Zhu

Improving Model Counting by Leveraging Definability

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

Constraint Detection in Natural Language Problem Descriptions

Zeynep Kiziltan, Marco Lippi, Paolo Torroni

Linear Arithmetic Satisfiability via Strategy Improvement

Azadeh Farzan, Zachary Kincaid

Combining the

Constraint Acquisition with Recommendation Queries

Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El Houssine Bouyakhf

Bias in Algorithm Portfolio Performance Evaluation

Chris Cameron, Holger H. Hoos, Kevin Leyton-brown

Ranking Constraints

Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh

Multiple Constraint Acquisition

Robin Arcangioli, Christian Bessiere, Nadjib Lazaar

Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty

Timothy Yee, Viliam Lisy, Michael Bowling

Canonical Orderings on Grids

Nathan R. Sturtevant, Steve Rabin

External Memory Bidirectional Search

Nathan R. Sturtevant, Jingwei Chen

An Approximation Algorithm for the Subpath Planning Problem

Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian

Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban

André G. Pereira, Robert Holte, Jonathan Schaeffer, Luciana S. Buriol, Marcus Ritt

Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization

Fei Peng, Tuomas Sandholm

Efficiently Finding Conceptual Clustering Models with Integer Linear Programming

Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann

Markov Chain Analysis of Noise and Restart in Stochastic Local Search

Ole J. Mengshoel, Youssef Ahres, Tong Yu

Heuristics and Really Hard Instances for Subgraph Isomorphism Problems

Ciaran McCreesh, Patrick Prosser, James Trimble

FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFs

Kangwei Liu, Junge Zhang, Peipei Yang, Kaiqi Huang

Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models

Javier Larrosa, Emma Rollon, Rina Dechter

Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory

Richard E. Korf

Counting Linear Extensions of Sparse Posets

Kustaa Kangas, Teemu Hankala, Teppo Niinimäki, Mikko Koivisto

Relevance for SAT(ID)

Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker

Truncating Shortest Path Search for Efficient Map-Matching

Takashi Imamichi, Takayuki Osogami, Rudy Raymond

On the Topology of Genetic Algorithms

David Hofmeyr

Packing Graphs with ASP for Landscape Simulation

Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou

Fast Solving Maximum Weight Clique Problem in Massive Graphs

Shaowei Cai, Jinkun Lin

Action Selection for Hammer Shots in Curling

Zaheen Farraz Ahmad, Robert C. Holte, Michael Bowling

Towards a White Box Approach to Automated Algorithm Design

Steven Adriaensen, Ann Nowe

Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety Constraints

Ruohan Zhang, Yue Yu, Mahmoud El Chamie, Behçet Açıkmese, Dana H. Ballard

Optimally Protecting Elections

Yue Yin, Yevgeniy Vorobeychik, Bo An, Noam Hazon

Efficient Resource Allocation for Protecting Coral Reef Ecosystems

Yue Yin, Bo An

Coordinating Human-UAV Teams in Disaster Response

Feng Wu, Sarvapali D. Ramchurn, Xiaoping Chen

Hierarchical Approach to Transfer of Control in Semi-Autonomous Systems

Kyle Hollins Wray, Luis Pineda, Shlomo Zilberstein

An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets

Elaine Wah, Sebastien Lahaie, David M. Pennock

Nash Equilibria and Their Elimination in Resource Games

Nicolas Troquard

Preserving Privacy in Region Optimal DCOP Algorithms

Tamir Tassa, Roie Zivan, Tal Grinshpoun

Assigning a Small Agreeable Set of Indivisible Items to Multiple Players

Warut Suksompong

Efficient Local Search in Coordination Games on Graphs

Sunil Simon, Dominik Wojtczak

An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems

Wen Shen, Cristina V. Lopes, Jacob W. Crandall

Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration Problems

Pierre Rust, Gauthier Picard, Fano Ramparany

Controlling Growing Tasks with Heterogeneous Agents

James Parker, Maria Gini

Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation

Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue

Distributed Breakout: Beyond Satisfaction

Steven Okamoto, Roie Zivan, Aviv Nahon

Trembling Hand Equilibria of Plurality Voting

Svetlana Obraztsova, Zinovi Rabinovich, Edith Elkind, Maria Polukarov, Nicholas R. Jennings

Automated Mechanism Design without Money via Machine Learning

Harikrishna Narasimhan, Shivani Agarwal, David C. Parkes

Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods

Dmitry Moor, Sven Seuken, Tobias Grubenmann, Abraham Bernstein

Role Assignment for Game-Theoretic Cooperation

Catherine Moon, Vincent Conitzer

Distributed Decoupling of Multiagent Simple Temporal Problems

Jayanth Krishna Mogali, Stephen F. Smith, Zachary B. Rubinstein

Sequential Plan Recognition

Reuth Mirsky, Roni Stern, Ya’akov (Kobi) Gal, Meir Kalech

SLIM: Semi-Lazy Inference Mechanism for Plan Recognition

Reuth Mirsky, Ya’akov (Kobi) Gal

Dynamic Auctions with Bank Accounts

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

Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies

Georgios Methenitis, Michael Kaisers, Han La Poutré

Silk: A Simulation Study of Regulating Open Normative Multiagent Systems

Mehdi Mashayekhi, Hongying Du, George F. List, Munindar P. Singh

Correlated Voting

Debmalya Mandal, David C. Parkes