Main Track — Agent and Multiagent Systems
| Agile Planning for Real-World Disaster Response | |
| Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Jeol E. Fischer, Tom Rodden, Nicholas R. Jennings |
Main Track — Constraints, Satisfiability, and Search
| Efficient Operations On MDDs for Building Constraint Programming Models | |
| Guillaume Perez, Jean-Charles Régin |
Main Track — Game Theory
| Gibbard–Satterthwaite Games | |
| Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko |
| Strategic Candidacy Games with Lazy Candidates | |
| Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich |
| Convergence to Equilibria in Strategic Candidacy | |
| Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings |
| The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection | |
| Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak, Talal Rahwan |
| Spiteful Bidding in the Dollar Auction | |
| Marcin Waniek, Agata Nieścieruk, Tomasz Michalak, Talal Rahwan |
| Security Games with Information Leakage: Modeling and Computation | |
| Haifeng Xu, Albert Xing Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe |
Main Track — Graphical Models
| Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity | |
| Matteo Venanzi, Luke Teacy, Alex Rogers, Nick Jennings |
Main Track — Heuristic Search
| A Fast Goal Recognition Technique Based on Interaction Estimates | |
| Yolanda E-Martin, Maria D. R-Moreno, David E. Smith |
| Compositional Program Synthesis from Natural Language and Examples | |
| Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling |
| Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs | |
| Nic Wilson, Abdul Razak, Radu Marinescu |
Main Track — Knowledge Representation, Reasoning, and Logic
| A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning | |
| Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho |
| From Raw Sensor Data to Detailed Spatial Knowledge | |
| Peng Zhang, Jae Hee Lee, Jochen Renz |
Main Track — Model Verification / Model Checking
| Symbolic Model Checking for One-Resource RB+-ATL | |
| Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
Main Track — Multidisciplinary Topics and Applications
| A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments | |
| Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock |
| Offline Sketch Parsing via Shapeness Estimation | |
| Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui |
Main Track — Multiagent Systems
| A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange | |
| Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn |
| Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods | |
| Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe |
| Spectrum-Based Fault Localisation for Multi-Agent Systems | |
| Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti |
Main Track — Natural Language Processing
| Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter | |
| Francesco Barbieri, Francesco Ronzano, Horacio Saggion |
Main Track — Planning
| Classical Planning with Simulators: Results on the Atari Video Games | |
| Nir Lipovetzky, Miquel Ramirez, Hector Geffner |
| Action2Activity: Recognizing Complex Activities from Sensor Data | |
| Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum |
| Models of Action Concurrency in Temporal Planning | |
| Jussi Rintanen |
| Point-Based Planning for Multi-Objective POMDPs | |
| Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek |
Main Track — Relational Learning
| Saul: Towards Declarative Learning Based Programming | |
| Parisa Kordjamshidi, Dan Roth, Hao Wu |
Main Track — Robotics and Vision
| Intelligent Agent Supporting Human-Multi-Robot Team Collaboration | |
| Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus |
Main Track — Social Choice Theory
| Lie on the Fly: Iterative Voting Center with Manipulative Voters | |
| Lihi Naamani-Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech |
Main Track — Social Networks
| CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks | |
| Vishnu Sankar, Balaraman Ravindran, Shivashankar S |
Main Track — Vision and Perception
| Inferring Painting Style with Multi-Task Dictionary Learning | |
| Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe |
Artificial Intelligence and the Arts Track
| Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint | |
| François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou |
| Generating all Possible Palindromes from Ngram Corpora | |
| Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet |
| Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images | |
| Rafal Rzepka, Kenji Araki |
Computational Sustainability Track
| A Personalised Thermal Comfort Model Using a Bayesian Network | |
| Frederik Auffenberg, Sebastian Stein, Alex Rogers |
| Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation | |
| Jose F. Ruiz-Muñoz, Mauricio Orozco Alzate, G. Castellanos-Dominguez |
Knowledge Representation Track
| A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size | |
| Mario Alviano, Carmine Dodaro, Francesco Ricca |
| First-Order Rewritability of Temporal Ontology-Mediated Queries | |
| Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| Combining Existential Rules and Transitivity: Next Steps | |
| Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher |
| Reasonable Highly Expressive Query Languages | |
| Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph |
| The Logic of Qualitative Probability | |
| James Delgrande, Bryan Renne |
| An Extension-Based Approach to Belief Revision in Abstract Argumentation | |
| Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran |
| The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms | |
| Didier Dubois, Henri Prade, Agnès Rico |
| On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks | |
| Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass |
| Merging in the Horn Fragment | |
| Adrian Haret, Stefan Rümmele, Stefan Woltran |
| On the Parameterized Complexity of Belief Revision | |
| Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran |
| Execution Monitoring as Meta-Games for General Game-Playing Robots | |
| David Rajaratnam, Michael Thielscher |
| Membership Constraints in Formal Concept Analysis | |
| Sebastian Rudolph, Christian Sacarea, Diana Troanca |
| Characterization of the Expressivity of Existential Rule Queries | |
| Sebastian Rudolph, Michaël Thomazo |
Machine Learning Track
| Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning | |
| Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo |
| Training-Time Optimization of a Budgeted Booster | |
| Yi Huang, Brian Powers, Lev Reyzin |
| Collaborative Place Models | |
| Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara |
| Scalable Probabilistic Tensor Factorization for Binary and Count Data | |
| Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin |
| Nonparametric Independence Testing for Small Sample Sizes | |
| Aaditya Ramdas, Leila Wehbe |
| Data Compression for Learning MRF Parameters | |
| Khaled S. Refaat, Adnan Darwiche |
| Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning | |
| Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran |
| Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations | |
| Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang |
Demos Track
| Max Order: A Tale of Creativity | |
| Fiammetta Ghedini, François Pachet, Pierre Roy |
| Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings | |
| Mathieu Ramona, Giordano Cabral, François Pachet |
Journal Track
| Data Complexity of Query Answering in Description Logics (Extended Abstract) | |
| Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract) | |
| Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi |
| Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract | |
| Jie Yin, Sarvnaz Karimi, Andrew Lampert, Mark Cameron, Bella Robinson, Robert Power |
Best Papers from Sister Conferences Track
| When Are Description Logic Knowledge Bases Indistinguishable? | |
| Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| Heuristics for Cost-Optimal Classical Planning Based on Linear Programming | |
| Florian Pommerening, Gabriele Roger, Malte Helmert, Blai Bonet |
| Reasoning with Probabilistic Ontologies | |
| Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
| Max Is More than Min: Solving Maximization Problems with Heuristic Search | |
| Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml |
| Speedy versus Greedy Search | |
| Christopher Makoto Wilt, Wheeler Ruml |
Doctoral Consortium
| Advances in Nonparametric Hypothesis Testing | |
| Aaditya Ramdas |
| Efficient Methods for Multi-Objective Decision-Theoretic Planning | |
| Diederik Marijn Roijers |
| Automated Agents for Advice Provision | |
| Ariel Rosenfeld |
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 |
| CoBots: Robust Symbiotic Autonomous Mobile Service Robots | |
| Manuela Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal |