IJCAI 2017

781 papers

On the Kernelization of Global Constraints

Clement Carbonnel, Emmanuel Hebrard

From Decimation to Local Search and Back: A New Approach to MaxSAT

Shaowei Cai, Chuan Luo, Haochen Zhang

Relaxed Exists-Step Plans in Planning as SMT

Miquel Bofill, Joan Espasa, Mateu Villaret

Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Scalable Constraint-based Virtual Data Center Allocation

Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

Stochastic Constraint Programming with And-Or Branch-and-Bound

Behrouz Babaki, Tias Guns, Luc De Raedt

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski

The Mixing of Markov Chains on Linear Extensions in Practice

Topi Talvitie, Teppo Niinimäki, Mikko Koivisto

A Reduction based Method for Coloring Very Large Graphs

Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su

Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads

Carlos Hernández, Adi Botea, Jorge A. Baier, Vadim Bulitko

A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics

Yong Gao

Compromise-free Pathfinding on a Navigation Mesh

Michael Cui, Daniel D. Harabor, Alban Grastien

Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions

Jingwei Chen, Robert C. Holte, Sandra Zilles, Nathan R. Sturtevant

An Admissible HTN Planning Heuristic

Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo

Estimating the size of search trees by sampling with domain knowledge

Gleb Belov, Samuel Esler, Dylan Fernando, Pierre Le Bodic, George L. Nemhauser

How to Form Winning Coalitions in Mixed Human-Computer Settings

Yair Zick, Kobi Gal, Yoram Bachrach, Moshe Mash

Agent Design Consistency Checking via Planning

Nitin Yadav, John Thangarajah, Sebastian Sardina

Score Aggregation via Spectral Method

Mingyu Xiao, Yuqing Wang

Multi-Agent Planning with Baseline Regret Minimization

Feng Wu, Shlomo Zilberstein, Xiaoping Chen

Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous

Rohit Vaish, Dinesh Garg

On the Power and Limitations of Deception in Multi-Robot Adversarial Patrolling

Noga Talmor, Noa Agmon

Online Optimization of Video-Ad Allocation

Hanna Sumita, Yasushi Kawase, Sumio Fujita, Takuro Fukunaga

Attachment Centrality for Weighted Graphs

Jadwiga Sosnowska, Oskar Skibski

Proportional Rankings

Piotr Skowron, Martin Lackner, Markus Brill, Dominik Peters, Edith Elkind

Synchronisation Games on Hypergraphs

Sunil Simon, Dominik Wojtczak

Why You Should Charge Your Friends for Borrowing Your Stuff

Kijung Shin, Euiwoong Lee, Dhivya Eswaran, Ariel D. Procaccia

Posted Pricing sans Discrimination

Shreyas Sekar

Don't Bury your Head in Warnings: A Game-Theoretic Approach for Intelligent Allocation of Cyber-security Alerts

Aaron Schlenker, Haifeng Xu, Mina Guirguis, Christopher Kiekintveld, Arunesh Sinha

Enhancing Sustainability of Complex Epidemiological Models through a Generic Multilevel Agent-based Approach

Sébastien Picault, Yu-Lin Huang, Vianney Sicard, Pauline Ezanno

Multiple-Profile Prediction-of-Use Games

Andrew Perrault, Craig Boutilier

Core Stability in Hedonic Games among Friends and Enemies: Impact of Neutrals

Kazunori Ohta, Nathanaël Barrot, Anisse Ismaili, Yuko Sakurai, Makoto Yokoo

Deterministic, Strategyproof, and Fair Cake Cutting

Vijay Menon, Kate Larson

Mechanisms for Online Organ Matching

Nicholas Mattei, Abdallah Saffidine, Toby Walsh

Computing an Approximately Optimal Agreeable Set of Items

Pasin Manurangsi, Warut Suksompong

Probability Bounds for Overlapping Coalition Formation

Michail Mamakos, Georgios Chalkiadakis

Recognizing Top-Monotonic Preference Profiles in Polynomial Time

Krzysztof Magiera, Piotr Faliszewski

Crowd Learning: Improving Online Decision Making Using Crowdsourced Data

Yang Liu, mingyan liu

Representativeness-aware Aspect Analysis for Brand Monitoring in Social Media

Lizi Liao, Xiangnan He, Zhaochun Ren, Liqiang Nie, Huan Xu

Contest Design with Uncertain Performance and Costly Participation

Priel Levy, David Sarne, Igor Rochlin

Smoothing Method for Approximate Extensive-Form Perfect Equilibrium

Christian Kroer, Gabriele Farina, Tuomas Sandholm

Verifying Fault-tolerance in Parameterised Multi-Agent Systems

Panagiotis Kouvaros, Alessio Lomuscio

Constraint-Based Symmetry Detection in General Game Playing

Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary

Convergence and Quality of Iterative Voting Under Non-Scoring Rules

Aaron Koolyk, Tyrone Strangway, Omer Lev, Jeffrey S. Rosenschein

Omniscient Debugging for Cognitive Agent Programs

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

Tosca: Operationalizing Commitments Over Information Protocols

Thomas C. King, Akın Günay, Amit K. Chopra, Munindar P. Singh

A Bayesian Approach to Argument-Based Reasoning for Attack Estimation

Hiroyuki Kido, Keishi Okamoto

Near-Feasible Stable Matchings with Budget Constraints

Yasushi Kawase, Atsushi Iwasaki

Online Roommate Allocation Problem

Guangda Huzhang, Xin Huang, Shengyu Zhang, Xiaohui Bei

Optimal Posted-Price Mechanism in Microtask Crowdsourcing

Zehong Hu, Jie Zhang

The Off-Switch Game

Dylan Hadfield-Menell, Anca Dragan, Pieter Abbeel, Stuart Russell

Object Allocation via Swaps along a Social Network

Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs

Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu

Operation Frames and Clubs in Kidney Exchange

Gabriele Farina, John P. Dickerson, Tuomas Sandholm

Multiwinner Rules on Paths From k-Borda to Chamberlin–Courant

Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon

Interaction-based ontology alignment repair with expansion and relaxation

Jérôme Euzenat

No Pizza for You: Value-based Plan Selection in BDI Agents

Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum

Pessimistic Leader-Follower Equilibria with Multiple Followers

Stefano Coniglio, Nicola Gatti, Alberto Marchesi

Coordinated Versus Decentralized Exploration In Multi-Agent Multi-Armed Bandits

Mithun Chakraborty, Kai Yee Phoebe Chua, Sanmay Das, Brendan Juba

Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy

Tathagata Chakraborti, Sarath Sreedharan, Yu Zhang, Subbarao Kambhampati

Learning a Ground Truth Ranking Using Noisy Approval Votes

Ioannis Caragiannis, Evi Micha

Bounding the Inefficiency of Compromise

Ioannis Caragiannis, Panagiotis Kanellopoulos, Alexandros A. Voudouris

Fair Division of a Graph

Sylvain Bouveret, Katarína Cechlárová, Edith Elkind, Ayumi Igarashi, Dominik Peters

Voting by sequential elimination with few voters

Sylvain Bouveret, Yann Chevaleyre, François Durand, Jérôme Lang

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces

Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken

Aggressive, Tense or Shy? Identifying Personality Traits from Crowd Videos

Aniket Bera, Tanmay Randhavane, Dinesh Manocha

Equilibria in Ordinal Games: A Framework based on Possibility Theory.

Nahla Ben Amor, Hélène Fargier, Régis Sabbadin

Parameterised Verification of Data-aware Multi-Agent Systems

Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality

Haris Aziz, Edith Elkind, Piotr Faliszewski, Martin Lackner, Piotr Skowron

Pareto Optimal Allocation under Uncertain Preferences

Haris Aziz, Ronald de Haan, Baharak Rastegari

An Abstraction-Refinement Methodology for Reasoning about Network Games

Guy Avni, Shibashis Guha, Orna Kupferman

Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value

Leila Amgoud, Jonathan Ben-Naim, Srdjan Vesic

Acceptability Semantics for Weighted Argumentation Frameworks

Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic

Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi

Pure Nash Equilibria in Online Fair Division

Martin Aleksandrov, Toby Walsh

Diverse Weighted Bipartite b-Matching

Faez Ahmed, John P. Dickerson, Mark Fuge

Proactive and Reactive Coordination of Non-dedicated Agent Teams Operating in Uncertain Environments

Pritee Agrawal, Pradeep Varakantham

Super-Human AI for Strategic Reasoning: Beating Top Pros in Heads-Up No-Limit Texas Hold'em

Tuomas Sandholm

From Automation to Autonomous Systems: A Legal Phenomenology with Problems of Accountability

Ugo Pagallo

Deep Learning at Alibaba

Rong Jin

Swift Logic for Big Data and Knowledge Graphs

Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger