Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

Main Track — Agent and Multiagent Systems

Optimal Incremental Preference Elicitation during Negotiation PDF
Tim Baarslag, Enrico H. Gerding
Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities PDF
Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer
Tradeoffs between Incentive Mechanisms in Boolean Games PDF
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery PDF
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman

Main Track — Artificial Intelligence and Social Sciences

Emotions in Argumentation: an Empirical Evaluation PDF
Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon

Main Track — Constraint Optimization

A Multicore Tool for Constraint Solving PDF
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Main Track — Constraints, Satisfiability, and Search

Exploiting the Structure of Unsatisfiable Cores in MaxSAT PDF
Carlos Ansotegui, Frederic Didier, Joel Gabas
Expressive Logical Combinators for Free PDF
Pierre Geneves, Alan Schmitt
Towards Automatic Dominance Breaking for Constraint Optimization Problems PDF
Christopher Mears, Maria Garcia de la Banda
Personalized Mathematical Word Problem Generation PDF
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 PDF
Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham
Max-Sum Goes Private PDF
Tamir Tassa, Roie Zivan, Tal Grinshpoun

Main Track — Game Theory

Welfare Maximization in Fractional Hedonic Games PDF
Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig
Gibbard–Satterthwaite Games PDF
Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko
Equilibrium Refinement through Negotiation in Binary Voting PDF
Umberto Grandi, Davide Grossi, Paolo Turrini
Structural Tractability of Shapley and Banzhaf Values in Allocation Games PDF
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs PDF
Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang

Main Track — Heuristic Search

FlashNormalize: Programming by Examples for Text Normalization PDF
Dileep Kini, Sumit Gulwani
Compositional Program Synthesis from Natural Language and Examples PDF
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go PDF
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 PDF
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
Formal Analysis of Dialogues on Infinite Argumentation Frameworks PDF
Francesco Belardinelli, Davide Grossi, Nicolas Maudet
On the Graded Acceptability of Arguments PDF
Davide Grossi, Sanjay Modgil

Main Track — Machine Learning

On the Consistency of AUC Pairwise Optimization PDF
Wei Gao, Zhi-Hua Zhou
Correcting Covariate Shift with the Frank-Wolfe Algorithm PDF
Junfeng Wen, Russell Greiner, Dale Schuurmans

Main Track — Multidisciplinary Topics and Applications

Algorithmic Exam Generation PDF
Omer Geiger, Shaul Markovitch

Main Track — Multiagent Systems

A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange PDF
Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn
Equilibria Under the Probabilistic Serial Rule PDF
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 PDF
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang

Main Track — Ontologies

Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All PDF
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 PDF
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
ASAP-UCT: Abstraction of State-Action Pairs in UCT PDF
Ankit Anand, Aditya Grover, Mausam ., Parag Singla
Delete Relaxations for Planning with State-Dependent Action Costs PDF
Florian Geißer, Thomas Keller, Robert Mattmüller
Classical Planning with Simulators: Results on the Atari Video Games PDF
Nir Lipovetzky, Miquel Ramirez, Hector Geffner
MORRF*: Sampling-Based Multi-Objective Motion Planning PDF
Daqing Yi, Michael A. Goodrich, Kevin D Seppi

Main Track — Recommender Systems

Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees PDF
Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh
Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue PDF
Xin Wang, Yunhui Guo, Congfu Xu
Cross-Domain Collaborative Filtering with Review Text PDF
Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo

Main Track — Relational Learning

Knowledge Base Completion Using Embeddings and Rules PDF
Quan Wang, Bin Wang, Li Guo

Main Track — Satisfiability

A Modularity-Based Random SAT Instances Generator PDF
Jesús Giráldez-Cru, Jordi Levy

Main Track — Sequential Decision Making

Solving MDPs with Skew Symmetric Bilinear Utility Functions PDF
Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng
Non-Monotone Adaptive Submodular Maximization PDF
Alkis Gotovos, Amin Karbasi, Andreas Krause

Main Track — Social Networks

Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation PDF
Wei-Xue Lu, Peng Zhang, Chuan Zhou, Chunyi Liu, Li Gao
Maximizing the Coverage of Information Propagation in Social Networks PDF
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 PDF
Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen
Saliency Detection with a Deeper Investigation of Light Field PDF
Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu

Main Track — Web and Knowledge-Based Information Systems

Reasoning with Style PDF
Marti Bosch, Pierre Geneves, Nabil Layaida
Short and Sparse Text Topic Modeling via Self-Aggregation PDF
Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan
Personalized Sentiment Classification Based on Latent Individuality of Microblog Users PDF
Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong
Online Learning to Rank for Content-Based Image Retrieval PDF
Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li
Hamming Compatible Quantization for Hashing PDF
Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao

Artificial Intelligence and the Arts Track

Artificial Intelligence in the Concertgebouw PDF
Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer
Slogans Are Not Forever: Adapting Linguistic Expressions to the News PDF
Lorenzo Gatti, Gözde Özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava
Pseudo-Supervised Training Improves Unsupervised Melody Segmentation PDF
Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten

Computational Sustainability Track

Online Fair Division: Analysing a Food Bank Problem PDF
Martin Damyanov Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh
Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae PDF
Maryam Ghasemi, Benjamin Lubin
Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs PDF
Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga
Optimal Electric Vehicle Charging Station Placement PDF
Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan

Knowledge Representation Track

Dealing with Generic Contrariness in Structured Argumentation PDF
Pietro Baroni, Massimiliano Giacomin, Beishui Liao
Policies that Generalize: Solving Many Planning Problems with the Same Policy PDF
Blai Bonet, Hector Geffner
Logic Program Termination Analysis Using Atom Sizes PDF
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks PDF
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
Polynomial Rewritings for Linear Existential Rules PDF
Georg Gottlob, Marco Manna, Andreas Pieris
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue PDF
Georg Gottlob, Andreas Pieris
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability PDF
Gianluigi Greco, Jerome Lang
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes PDF
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Did You Know? — Mining Interesting Trivia for Entities from Wikipedia PDF
Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg
Computation and Complexity of Preference Inference Based on Hierarchical Models PDF
Nic Wilson, Anne-Marie George, Barry O'Sullivan

Machine Learning Track

Maximum Entropy Semi-Supervised Inverse Reinforcement Learning PDF
Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh
Policy Shaping with Human Teachers PDF
Thomas Cederborg, Ishaan Grover, Charles L Isbell, Andrea L Thomaz
Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information PDF
Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao
Potential Based Reward Shaping for Hierarchical Reinforcement Learning PDF
Yang Gao, Francesca Toni
Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning PDF
Xin Geng, Peng Hou
Multitask Coactive Learning PDF
Robby Goetschalckx, Alan Fern, Prasad Tadepalli
Multi-Label Structure Learning with Ising Model Selection PDF
Andre R. Goncalves, Fernando J. Von Zuben, Arindam Banerjee
Bi-Parameter Space Partition for Cost-Sensitive SVM PDF
Bin Gu, Victor S. Sheng, Shuo Li
Online Robust Low Rank Matrix Recovery PDF
Xiaojie Guo
Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix PDF
Xiaojie Guo
Active Imitation Learning of Hierarchical Policies PDF
Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern
Fast Cross-Validation for Incremental Learning PDF
Pooria Joulani, Andras Gyorgy, Csaba Szepesvari
Data Sparseness in Linear SVM PDF
Xiang Li, Huaimin Wang, Bin Gu, Charles X. Ling
Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation PDF
Xin Li, Yuhong Guo
Regularizing Flat Latent Variables with Hierarchical Structures PDF
Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge
Inverse Reinforcement Learning in Relational Domains PDF
Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes
Semantic Topic Multimodal Hashing for Cross-Media Retrieval PDF
Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He
Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters PDF
Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka
Semi-Supervised Multi-Label Learning with Incomplete Labels PDF
Feipeng Zhao, Yuhong Guo

Demos Track

Max Order: A Tale of Creativity PDF
Fiammetta Ghedini, François Pachet, Pierre Roy

Doctoral Consortium

RoTuEl: A Semi-Automated Method for Labeling Political Tweets PDF
Wilton de Paula Filho, Ana Cristina Bicharra Garcia
On the Static Analysis for SPARQL Queries Using Modal Logic PDF
Nicola Guido


Activity-based Scheduling of Science Campaigns for the Rosetta Orbiter PDF
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