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

Efficiency and Complexity of Price Competition Among Single-Product Vendors PDF
Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris
Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs PDF
Adam Clearwater, Clemens Puppe, Arkadii Slinko
The Power of Local Manipulation Strategies in Assignment Mechanisms PDF
Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken

Main Track — Artificial Intelligence and Social Sciences

A Deterministic Partition Function Approximation for Exponential Random Graph Models PDF
Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir

Main Track — Constraint Optimization

Finding Diverse Solutions of High Quality to Constraint Optimization Problems PDF
Thierry Petit, Andrew C. Trapp

Main Track — Constraints, Satisfiability, and Search

Multi-Armed Bandits for Adaptive Constraint Propagation PDF
Amine Balafrej, Christian Bessiere, Anastasia Paparrizou
Combining Preference Elicitation and Search in Multiobjective State-Space Graphs PDF
Nawal Benabbou, Patrice Perny
Efficient Operations On MDDs for Building Constraint Programming Models PDF
Guillaume Perez, Jean-Charles Régin
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

Applying Max-Sum to Asymmetric Distributed Constraint Optimization PDF
Roie Zivan, Tomer Parash, Yarden Naveh

Main Track — Game Theory

Learning Cooperative Games PDF
Maria Florina Balcan, Ariel D. Procaccia, Yair Zick
Influence in Classification via Cooperative Game Theory PDF
Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick
SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples PDF
Joanna Drummond, Andrew Perrault, Fahiem Bacchus
Impartial Peer Review PDF
David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia
Strategic Candidacy Games with Lazy Candidates PDF
Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich
Simple Causes of Complexity in Hedonic Games PDF
Dominik Peters, Edith Elkind
Convergence to Equilibria in Strategic Candidacy PDF
Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings

Main Track — Heuristic Search

Efficient Search with an Ensemble of Heuristics PDF
Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev

Main Track — Knowledge Representation, Reasoning, and Logic

Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories PDF
Marius Pasca, Hylke Buisman

Main Track — Machine Learning

Analysis of Sampling Algorithms for Twitter PDF
Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, LV Subramaniam
Detecting Emotions in Social Media: A Constrained Optimization Approach PDF
Yichen Wang, Aditya Pal
Character-Based Parsing with Convolutional Neural Network PDF
Xiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang

Main Track — Model Verification / Model Checking

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

Main Track — Multidisciplinary Topics and Applications

Handling Complex Commands as Service Robot Task Requests PDF
Vittorio Perera, Manuela Veloso

Main Track — Multiagent Systems

Spectrum-Based Fault Localisation for Multi-Agent Systems PDF
Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti

Main Track — Natural Language Processing

Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets PDF
Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer
Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization PDF
Daraksha Parveen, Michael Strube
Optimizing Sentence Modeling and Selection for Document Summarization PDF
Wenpeng Yin, Yulong Pei

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
Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach PDF
Daniil Mirylenka, Andrea Passerini, Luciano Serafini

Main Track — Planning

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications PDF
Bruno Lacerda, David Parker, Nick Hawes

Main Track — Robotics and Vision

Grounding the Meaning of Words through Vision and Interactive Gameplay PDF
Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen

Main Track — Satisfiability

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 — Social Choice Theory

Ranked Voting on Social Networks PDF
Ariel D. Procaccia, Nisarg Shah, Eric Sodomka

Main Track — Social Networks

Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks PDF
Yulong Pei, Nilanjan Chakraborty, Katia Sycara
A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models PDF
Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David Keyes

Main Track — Vision and Perception

Groupwise Registration of Aerial Images PDF
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh
Generalized Transitive Distance with Minimum Spanning Random Forest PDF
Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar

Main Track — Web and Knowledge-Based Information Systems

Distance-Bounded Consistent Query Answering PDF
Andreas Pfandler, Emanuel Sallinger
Short and Sparse Text Topic Modeling via Self-Aggregation PDF
Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan

Artificial Intelligence and the Arts Track

Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint PDF
François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou
Generating all Possible Palindromes from Ngram Corpora PDF
Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet

Computational Sustainability Track

Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis PDF
Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Dr Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala
Approximately Stable Pricing for Coordinated Purchasing of Electricity PDF
Andrew Perrault, Craig Boutilier

Knowledge Representation Track

Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries PDF
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez
Probabilistic Inference in Hybrid Domains by Weighted Model Integration PDF
Vaishak Belle, Andrea Passerini, Guy Van den Broeck
The Complexity of Subsumption in Fuzzy EL PDF
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Fixed-Parameter Tractable Reductions to SAT for Planning PDF
Ronald de Haan, Martin Kronegger, Andreas Pfandler
The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms PDF
Didier Dubois, Henri Prade, Agnès Rico
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
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue PDF
Georg Gottlob, Andreas Pieris
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality PDF
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence PDF
Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier
On the Parameterized Complexity of Belief Revision PDF
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures PDF
Nico Potyka, Matthias Thimm
Did You Know? — Mining Interesting Trivia for Entities from Wikipedia PDF
Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg
Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks PDF
Jörg Pührer
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus PDF
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Machine Learning Track

An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data PDF
Andre M. S. Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup
Training-Time Optimization of a Budgeted Booster PDF
Yi Huang, Brian Powers, Lev Reyzin
Bayesian Active Learning for Posterior Estimation PDF
Kirthevasan Kandasamy, Jeff Schneider, Barnabas Poczos
Inverse Reinforcement Learning in Relational Domains PDF
Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes
EigenGP: Gaussian Process Models with Adaptive Eigenfunctions PDF
Hao Peng, Yuan Qi
Multi-Graph-View Learning for Complicated Object Classification PDF
Jia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang
Self-Adaptive Hierarchical Sentence Model PDF
Han Zhao, Zhengdong Lu, Pascal Poupart
Supervised Representation Learning: Transfer Learning with Deep Autoencoders PDF
Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He

Demos Track

Max Order: A Tale of Creativity PDF
Fiammetta Ghedini, François Pachet, Pierre Roy
Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings PDF
Mathieu Ramona, Giordano Cabral, François Pachet

Journal Track

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract) PDF
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract) PDF
Cristina Bosco, Viviana Patti, Andrea Bolioli
Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract) PDF
Karthik Dinakar, Rosalind Picard, Henry Lieberman
Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract) PDF
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi
Inapproximability of Treewidth and Related Problems (Extended Abstract) PDF
Yu Wu, Per Austrin, Toniann Pitassi, David Liu
Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract PDF
Jie Yin, Sarvnaz Karimi, Andrew Lampert, Mark Cameron, Bella Robinson, Robert Power

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
Heuristics for Cost-Optimal Classical Planning Based on Linear Programming PDF
Florian Pommerening, Gabriele Roger, Malte Helmert, Blai Bonet
Max Is More than Min: Solving Maximization Problems with Heuristic Search PDF
Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml


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