Main Track — Agent and Multiagent Systems
| Optimal Incremental Preference Elicitation during Negotiation | |
| Tim Baarslag, Enrico H. Gerding |
| Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities | |
| Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer |
| Tradeoffs between Incentive Mechanisms in Boolean Games | |
| Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels |
| Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery | |
| Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
Main Track — Artificial Intelligence and Social Sciences
| Emotions in Argumentation: an Empirical Evaluation | |
| Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon |
Main Track — Constraint Optimization
| A Multicore Tool for Constraint Solving | |
| Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
Main Track — Constraints, Satisfiability, and Search
| Exploiting the Structure of Unsatisfiable Cores in MaxSAT | |
| Carlos Ansotegui, Frederic Didier, Joel Gabas |
| Expressive Logical Combinators for Free | |
| Pierre Geneves, Alan Schmitt |
| Towards Automatic Dominance Breaking for Constraint Optimization Problems | |
| Christopher Mears, Maria Garcia de la Banda |
| Personalized Mathematical Word Problem Generation | |
| Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović |
Main Track — Distributed Search/CSP/Optimization
| Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs | |
| Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham |
| Max-Sum Goes Private | |
| Tamir Tassa, Roie Zivan, Tal Grinshpoun |
Main Track — Game Theory
| Welfare Maximization in Fractional Hedonic Games | |
| Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig |
| Gibbard–Satterthwaite Games | |
| Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko |
| Equilibrium Refinement through Negotiation in Binary Voting | |
| Umberto Grandi, Davide Grossi, Paolo Turrini |
| Structural Tractability of Shapley and Banzhaf Values in Allocation Games | |
| Gianluigi Greco, Francesco Lupia, Francesco Scarcello |
| Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs | |
| Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang |
Main Track — Heuristic Search
| FlashNormalize: Programming by Examples for Text Normalization | |
| Dileep Kini, Sumit Gulwani |
| Compositional Program Synthesis from Natural Language and Examples | |
| Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling |
| Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go | |
| Erik S. Steinmetz, Maria Gini |
Main Track — Knowledge Representation, Reasoning, and Logic
| Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems | |
| Francesco Belardinelli, Davide Grossi, Alessio Lomuscio |
| Formal Analysis of Dialogues on Infinite Argumentation Frameworks | |
| Francesco Belardinelli, Davide Grossi, Nicolas Maudet |
| On the Graded Acceptability of Arguments | |
| Davide Grossi, Sanjay Modgil |
Main Track — Machine Learning
| On the Consistency of AUC Pairwise Optimization | |
| Wei Gao, Zhi-Hua Zhou |
| Correcting Covariate Shift with the Frank-Wolfe Algorithm | |
| Junfeng Wen, Russell Greiner, Dale Schuurmans |
Main Track — Multidisciplinary Topics and Applications
| Algorithmic Exam Generation | |
| Omer Geiger, Shaul Markovitch |
Main Track — Multiagent Systems
| A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange | |
| Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn |
| Equilibria Under the Probabilistic Serial Rule | |
| Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh |
Main Track — Natural Language Processing
| Automated Rule Selection for Aspect Extraction in Opinion Mining | |
| Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang |
Main Track — Ontologies
| Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All | |
| Gregor Behnke, Denis Ponomaryov, Marvin Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo |
Main Track — Planning
| Exploiting Symmetries by Planning for a Descriptive Quotient | |
| Mohammad Abdulaziz, Charles Gretton, Michael Norrish |
| ASAP-UCT: Abstraction of State-Action Pairs in UCT | |
| Ankit Anand, Aditya Grover, Mausam ., Parag Singla |
| Delete Relaxations for Planning with State-Dependent Action Costs | |
| Florian Geißer, Thomas Keller, Robert Mattmüller |
| Classical Planning with Simulators: Results on the Atari Video Games | |
| Nir Lipovetzky, Miquel Ramirez, Hector Geffner |
| MORRF*: Sampling-Based Multi-Objective Motion Planning | |
| Daqing Yi, Michael A. Goodrich, Kevin D Seppi |
Main Track — Recommender Systems
| Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees | |
| Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh |
| Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue | |
| Xin Wang, Yunhui Guo, Congfu Xu |
| Cross-Domain Collaborative Filtering with Review Text | |
| Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo |
Main Track — Relational Learning
| Knowledge Base Completion Using Embeddings and Rules | |
| Quan Wang, Bin Wang, Li Guo |
Main Track — Satisfiability
| A Modularity-Based Random SAT Instances Generator | |
| Jesús Giráldez-Cru, Jordi Levy |
Main Track — Sequential Decision Making
| Solving MDPs with Skew Symmetric Bilinear Utility Functions | |
| Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng |
| Non-Monotone Adaptive Submodular Maximization | |
| Alkis Gotovos, Amin Karbasi, Andreas Krause |
Main Track — Social Networks
| Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation | |
| Wei-Xue Lu, Peng Zhang, Chuan Zhou, Chunyi Liu, Li Gao |
| Maximizing the Coverage of Information Propagation in Social Networks | |
| Zhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang |
Main Track — Vision and Perception
| Social Image Parsing by Cross-Modal Data Refinement | |
| Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen |
| Saliency Detection with a Deeper Investigation of Light Field | |
| Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu |
Main Track — Web and Knowledge-Based Information Systems
| Reasoning with Style | |
| Marti Bosch, Pierre Geneves, Nabil Layaida |
| Short and Sparse Text Topic Modeling via Self-Aggregation | |
| Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan |
| Personalized Sentiment Classification Based on Latent Individuality of Microblog Users | |
| Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong |
| Online Learning to Rank for Content-Based Image Retrieval | |
| Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li |
| Hamming Compatible Quantization for Hashing | |
| Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao |
Artificial Intelligence and the Arts Track
| Artificial Intelligence in the Concertgebouw | |
| Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer |
| Slogans Are Not Forever: Adapting Linguistic Expressions to the News | |
| Lorenzo Gatti, Gözde Özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava |
| Pseudo-Supervised Training Improves Unsupervised Melody Segmentation | |
| Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten |
Computational Sustainability Track
| Online Fair Division: Analysing a Food Bank Problem | |
| Martin Damyanov Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh |
| Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae | |
| Maryam Ghasemi, Benjamin Lubin |
| Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs | |
| Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga |
| Optimal Electric Vehicle Charging Station Placement | |
| Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan |
Knowledge Representation Track
| Dealing with Generic Contrariness in Structured Argumentation | |
| Pietro Baroni, Massimiliano Giacomin, Beishui Liao |
| Policies that Generalize: Solving Many Planning Problems with the Same Policy | |
| Blai Bonet, Hector Geffner |
| Logic Program Termination Analysis Using Atom Sizes | |
| Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
| On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks | |
| Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass |
| Polynomial Rewritings for Linear Existential Rules | |
| Georg Gottlob, Marco Manna, Andreas Pieris |
| Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue | |
| Georg Gottlob, Andreas Pieris |
| Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability | |
| Gianluigi Greco, Jerome Lang |
| Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes | |
| Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider |
| Did You Know? — Mining Interesting Trivia for Entities from Wikipedia | |
| Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg |
| Computation and Complexity of Preference Inference Based on Hierarchical Models | |
| Nic Wilson, Anne-Marie George, Barry O'Sullivan |
Machine Learning Track
| Maximum Entropy Semi-Supervised Inverse Reinforcement Learning | |
| Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh |
| Policy Shaping with Human Teachers | |
| Thomas Cederborg, Ishaan Grover, Charles L Isbell, Andrea L Thomaz |
| Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information | |
| Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao |
| Potential Based Reward Shaping for Hierarchical Reinforcement Learning | |
| Yang Gao, Francesca Toni |
| Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning | |
| Xin Geng, Peng Hou |
| Multitask Coactive Learning | |
| Robby Goetschalckx, Alan Fern, Prasad Tadepalli |
| Multi-Label Structure Learning with Ising Model Selection | |
| Andre R. Goncalves, Fernando J. Von Zuben, Arindam Banerjee |
| Bi-Parameter Space Partition for Cost-Sensitive SVM | |
| Bin Gu, Victor S. Sheng, Shuo Li |
| Online Robust Low Rank Matrix Recovery | |
| Xiaojie Guo |
| Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix | |
| Xiaojie Guo |
| Active Imitation Learning of Hierarchical Policies | |
| Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern |
| Fast Cross-Validation for Incremental Learning | |
| Pooria Joulani, Andras Gyorgy, Csaba Szepesvari |
| Data Sparseness in Linear SVM | |
| Xiang Li, Huaimin Wang, Bin Gu, Charles X. Ling |
| Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation | |
| Xin Li, Yuhong Guo |
| Regularizing Flat Latent Variables with Hierarchical Structures | |
| Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge |
| Inverse Reinforcement Learning in Relational Domains | |
| Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes |
| Semantic Topic Multimodal Hashing for Cross-Media Retrieval | |
| Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He |
| Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters | |
| Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka |
| Semi-Supervised Multi-Label Learning with Incomplete Labels | |
| Feipeng Zhao, Yuhong Guo |
Demos Track
| Max Order: A Tale of Creativity | |
| Fiammetta Ghedini, François Pachet, Pierre Roy |
Doctoral Consortium
| RoTuEl: A Semi-Automated Method for Labeling Political Tweets | |
| Wilton de Paula Filho, Ana Cristina Bicharra Garcia |
| On the Static Analysis for SPARQL Queries Using Modal Logic | |
| Nicola Guido |
Invited
| Activity-based Scheduling of Science Campaigns for the Rosetta Orbiter | |
| Steve Chien, Gregg Rabideau, Daniel Tran, Martina Troesch, Joshua Doubleday, Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitja, Claire Vallat, Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo, Rafael Andres, Michael Kueppers |