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

An Adaptive Computational Model for Personalized Persuasion PDF
Yilin Kang, Ah-Hwee Tan, Chunyan Miao
Tradeoffs between Incentive Mechanisms in Boolean Games PDF
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels
The Power of Local Manipulation Strategies in Assignment Mechanisms PDF
Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken
Revenue Maximization Envy-Free Pricing for Homogeneous Resources PDF
Gianpiero Monaco, Piotr Sankowski, Qiang Zhang
Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory PDF
Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu

Main Track — Artificial Intelligence and Social Sciences

Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation PDF
Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting

Main Track — Auctions and Market-Based Systems

Maximal Cooperation in Repeated Games on Social Networks PDF
Catherine Moon, Vincent Conitzer
Selling Reserved Instances in Cloud Computing PDF
Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu

Main Track — Constraint Optimization

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

Main Track — Constraints, Satisfiability, and Search

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning PDF
Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran
ReACTR: Realtime Algorithm Configuration through Tournament Rankings PDF
Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan
Solving QBF by Clause Selection PDF
Mikolas Janota, Joao Marques-Silva
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs PDF
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
Towards Automatic Dominance Breaking for Constraint Optimization Problems PDF
Christopher Mears, Maria Garcia de la Banda
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition PDF
Zongxu Mu, Holger H. Hoos

Main Track — Game Theory

Welfare Maximization in Fractional Hedonic Games PDF
Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig
A Dictatorship Theorem for Cake Cutting PDF
Simina Brânzei, Peter Bro Miltersen
Impartial Peer Review PDF
David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia
When Does Schwartz Conjecture Hold? PDF
Matthias Mnich, Yash Raj Shrestha, Yongjie Yang
A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games PDF
Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo
The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection PDF
Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak, Talal Rahwan
Spiteful Bidding in the Dollar Auction PDF
Marcin Waniek, Agata Nieścieruk, Tomasz Michalak, Talal Rahwan

Main Track — Graphical Models

From Weighted to Unweighted Model Counting PDF
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi
Pushing Forward Marginal MAP with Best-First Search PDF
Radu Marinescu, Rina Dechter, Alexander Ihler
Indirect Causes in Dynamic Bayesian Networks Revisited PDF
Alexander Motzek, Ralf Möller

Main Track — Heuristic Search

Model-Based Genetic Algorithms for Algorithm Configuration PDF
Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney
Compositional Program Synthesis from Natural Language and Examples PDF
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs PDF
Nic Wilson, Abdul Razak, Radu Marinescu

Main Track — Knowledge Acquisition

Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles PDF
Claudiu Cristian Musat, Boi Faltings
AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand PDF
Mehdi Samadi, Partha Talukdar, Manuela Veloso, Tom Mitchell

Main Track — Knowledge Representation, Reasoning, and Logic

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
The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages PDF
Denis Deratani Maua, Cassio Polpo de Campos, Fabio Gagliardi Cozman

Main Track — Model Verification / Model Checking

Pushdown Multi-Agent System Verification PDF
Aniello Murano, Giuseppe Perelli

Main Track — Multidisciplinary Topics and Applications

Algorithmic Exam Generation PDF
Omer Geiger, Shaul Markovitch

Main Track — Multiagent Systems

Equilibria Under the Probabilistic Serial Rule PDF
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties PDF
Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra

Main Track — Natural Language Processing

Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression PDF
Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama
Embedding Semantic Relations into Word Representations PDF
Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi

Main Track — Ontologies

Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach PDF
Daniil Mirylenka, Andrea Passerini, Luciano Serafini

Main Track — Planning

On the Online Generation of Effective Macro-Operators PDF
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey
Delete Relaxations for Planning with State-Dependent Action Costs PDF
Florian Geißer, Thomas Keller, Robert Mattmüller
Exploratory Digraph Navigation Using A* PDF
Fabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations PDF
Andrea Micheli, Minh Do, David E. Smith
On the Effective Configuration of Planning Domain Models PDF
Mauro Vallati, Frank Hutter, Lukas Chrpa, Thomas Leo McCluskey

Main Track — Recommender Systems

Music Recommenders: User Evaluation Without Real Users? PDF
Susan Craw, Ben Horsburgh, Stewart Massie
A Boosting Algorithm for Item Recommendation with Implicit Feedback PDF
Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao

Main Track — Relational Learning

Anytime Inference in Probabilistic Logic Programs with Tp-Compilation PDF
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt

Main Track — Robotics and Vision

Graph-Based Inverse Optimal Control for Robot Manipulation PDF
Arunkumar Byravan, Mathew Monfort, Brian Ziebart, Byron Boots, Dieter Fox
Weakly Supervised RBM for Semantic Segmentation PDF
Yong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma
Intelligent Agent Supporting Human-Multi-Robot Team Collaboration PDF
Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus
Learning to Interpret Natural Language Commands through Human-Robot Dialog PDF
Jesse Thomason, Shiqi Zhang, Raymond J Mooney, Peter Stone

Main Track — Satisfiability

An Exact Inference Scheme for MinSAT PDF
Chu-Min Li, Felip Manyà
Efficient Model Based Diagnosis with Maximum Satisfiability PDF
Joao Marques-Silva, Mikoláš Janota, Alexey Ignatiev, Antonio Morgado
Literal-Based MCS Extraction PDF
Carlos Mencía, Alessandro Previti, Joao Marques-Silva
Prime Compilation of Non-Clausal Formulae PDF
Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Main Track — Sequential Decision Making

Optimization of Probabilistic Argumentation with Markov Decision Models PDF
Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter

Main Track — Web and Knowledge-Based Information Systems

Raising Expectations in GDA Agents Acting in Dynamic Environments PDF
Dustin Dannenhauer, Hector Munoz-Avila

Main Track — Web Mining

Tracking Political Elections on Social Media: Applications and Experience PDF
Danish Contractor, Bhupesh Chawda, Sameep Mehta, L Venkata Subramaniam, Tanveer Afzal Faruquie
Detecting Promotion Campaigns in Community Question Answering PDF
Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun
Towards Domain-Specific Semantic Relatedness: A Case Study from Geography PDF
Shilad Sen, Isaac Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Brent Hecht
Re-Ranking Voting-Based Answers by Discarding User Behavior Biases PDF
Xiaochi Wei, Heyan Huang, Chin-Yew Lin, Xin Xin, Xianling Mao, Shangguang Wang
Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation PDF
Yongfeng Zhang, Yunzhi Tan, Min Zhang, Yiqun Liu, Tat-Seng Chua, Shaoping Ma
Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling PDF
Xingwei Zhu, Zhao-Yan Ming, Yu Hao, Xiaoyan Zhu

Artificial Intelligence and the Arts Track

Heroic versus Collaborative AI for the Arts PDF
Mark d'Inverno, Jon McCormack
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending PDF
Manfred Eppe, Roberto Confalonieri, Ewen MacLean, Maximos Kaliakatsos, Emilios Cambouropoulos, Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger
Swarm Systems in the Visualization of Consumption Patterns PDF
Catarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado
Evolving Ambiguous Images PDF
Penousal Machado, Adriano Vinhas, João Correia, Aniko Ekárt
The Scaffolded Sound Beehive PDF
AnneMarie Maes

Computational Sustainability Track

Optimal Electric Vehicle Charging Station Placement PDF
Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan

Knowledge Representation Track

Combining Existential Rules and Transitivity: Next Steps PDF
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
On the Entailment Problem for a Logic of Typicality PDF
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak
Logic Program Termination Analysis Using Atom Sizes PDF
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases PDF
Diego Calvanese, Marco Montali, Ario Santoso
Extension Enforcement in Abstract Argumentation as an Optimization Problem PDF
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
Combining Existential Rules with the Power of CP-Theories PDF
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska
Computing Social Behaviours Using Agent Models PDF
Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg
Polynomial Rewritings for Linear Existential Rules PDF
Georg Gottlob, Marco Manna, Andreas Pieris
Query Rewriting for Existential Rules with Compiled Preorder PDF
Melanie Konig, Michel Leclere, Marie-Laure Mugnier
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality PDF
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Query Understanding through Knowledge-Based Conceptualization PDF
Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen

Machine Learning Track

Learning Efficient Logical Robot Strategies Involving Composable Objects PDF
Andrew Cropper, Stephen H. Muggleton
Intersecting Manifolds: Detection, Segmentation, and Labeling PDF
Shay Deutsch, Gerard Guy Medioni
Between Imitation and Intention Learning PDF
James MacGlashan, Michael L. Littman
Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning PDF
Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu
Using A* for Inference in Probabilistic Classifier Chains PDF
Deiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz
Introspective Forecasting PDF
Loizos Michael
EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection PDF
Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas
Image Feature Learning for Cold Start Problem in Display Advertising PDF
Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang
Inverse Reinforcement Learning in Relational Domains PDF
Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes
Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes PDF
Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan
A Soft Version of Predicate Invention Based on Structured Sparsity PDF
William Yang Wang, Kathryn Mazaitis, William W. Cohen
Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters PDF
Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka

Demos Track

Evolving Families of Shapes PDF
Filipe Assunção, João Correia, Pedro Martins, Penousal Machado
Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation PDF
Qi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng

Journal Track

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract) PDF
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti

Best Papers from Sister Conferences Track

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis PDF
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Adapting to User Preference Changes in Interactive Recommendation PDF
Negar Hariri, Bamshad Mobasher, Robin Burke
Firefly Monte Carlo: Exact MCMC with Subsets of Data PDF
Dougal Maclaurin, Ryan Prescott Adams
Matching and Grokking: Approaches to Personalized Crowdsourcing PDF
Peter Organisciak, Jaime Teevan, Susan Dumais, Robert C. Miller, Adam Tauman Kalai
Examples and Tutored Problems: Adaptive Support Using Assistance Scores PDF
Amir Shareghi Najar, Antonija Mitrovic, Bruce McLaren

Doctoral Consortium

Flexible Scheduling for an Agile Earth-Observing Satelllite PDF
Adrien Maillard
Towards More Practical Reinforcement Learning PDF
Travis Mandel
Using Small Humanoid Robots to Detect Autism in Toddlers PDF
Marie D. Manner
Feature Selection for Multi-Label Learning PDF
Newton Spolaôr, Maria Carolina Monard, Huei Diana Lee