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

Agile Planning for Real-World Disaster Response PDF
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 PDF
Guillaume Perez, Jean-Charles Régin

Main Track — Game Theory

Gibbard–Satterthwaite Games PDF
Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko
Strategic Candidacy Games with Lazy Candidates PDF
Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich
Convergence to Equilibria in Strategic Candidacy PDF
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 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
Security Games with Information Leakage: Modeling and Computation PDF
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 PDF
Matteo Venanzi, Luke Teacy, Alex Rogers, Nick Jennings

Main Track — Heuristic Search

A Fast Goal Recognition Technique Based on Interaction Estimates PDF
Yolanda E-Martin, Maria D. R-Moreno, David E. Smith
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 Representation, Reasoning, and Logic

A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning PDF
Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho
From Raw Sensor Data to Detailed Spatial Knowledge PDF
Peng Zhang, Jae Hee Lee, Jochen Renz

Main Track — Model Verification / Model Checking

Symbolic Model Checking for One-Resource RB+-ATL PDF
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 PDF
Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock
Offline Sketch Parsing via Shapeness Estimation PDF
Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui

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
Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods PDF
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe
Spectrum-Based Fault Localisation for Multi-Agent Systems PDF
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 PDF
Francesco Barbieri, Francesco Ronzano, Horacio Saggion

Main Track — Planning

Classical Planning with Simulators: Results on the Atari Video Games PDF
Nir Lipovetzky, Miquel Ramirez, Hector Geffner
Action2Activity: Recognizing Complex Activities from Sensor Data PDF
Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum
Models of Action Concurrency in Temporal Planning PDF
Jussi Rintanen
Point-Based Planning for Multi-Objective POMDPs PDF
Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek

Main Track — Relational Learning

Saul: Towards Declarative Learning Based Programming PDF
Parisa Kordjamshidi, Dan Roth, Hao Wu

Main Track — Robotics and Vision

Intelligent Agent Supporting Human-Multi-Robot Team Collaboration PDF
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 PDF
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 PDF
Vishnu Sankar, Balaraman Ravindran, Shivashankar S

Main Track — Vision and Perception

Inferring Painting Style with Multi-Task Dictionary Learning PDF
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 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
Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images PDF
Rafal Rzepka, Kenji Araki

Computational Sustainability Track

A Personalised Thermal Comfort Model Using a Bayesian Network PDF
Frederik Auffenberg, Sebastian Stein, Alex Rogers
Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation PDF
Jose F. Ruiz-Muñoz, Mauricio Orozco Alzate, G. Castellanos-Dominguez

Knowledge Representation Track

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size PDF
Mario Alviano, Carmine Dodaro, Francesco Ricca
First-Order Rewritability of Temporal Ontology-Mediated Queries PDF
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Combining Existential Rules and Transitivity: Next Steps PDF
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
Reasonable Highly Expressive Query Languages PDF
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
The Logic of Qualitative Probability PDF
James Delgrande, Bryan Renne
An Extension-Based Approach to Belief Revision in Abstract Argumentation PDF
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms PDF
Didier Dubois, Henri Prade, Agnès Rico
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks PDF
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
Merging in the Horn Fragment PDF
Adrian Haret, Stefan Rümmele, Stefan Woltran
On the Parameterized Complexity of Belief Revision PDF
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
Execution Monitoring as Meta-Games for General Game-Playing Robots PDF
David Rajaratnam, Michael Thielscher
Membership Constraints in Formal Concept Analysis PDF
Sebastian Rudolph, Christian Sacarea, Diana Troanca
Characterization of the Expressivity of Existential Rule Queries PDF
Sebastian Rudolph, Michaël Thomazo

Machine Learning Track

Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning PDF
Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo
Training-Time Optimization of a Budgeted Booster PDF
Yi Huang, Brian Powers, Lev Reyzin
Collaborative Place Models PDF
Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara
Scalable Probabilistic Tensor Factorization for Binary and Count Data PDF
Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin
Nonparametric Independence Testing for Small Sample Sizes PDF
Aaditya Ramdas, Leila Wehbe
Data Compression for Learning MRF Parameters PDF
Khaled S. Refaat, Adnan Darwiche
Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning PDF
Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran
Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations PDF
Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang

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

Data Complexity of Query Answering in Description Logics (Extended Abstract) PDF
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract) PDF
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi
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

When Are Description Logic Knowledge Bases Indistinguishable? PDF
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Heuristics for Cost-Optimal Classical Planning Based on Linear Programming PDF
Florian Pommerening, Gabriele Roger, Malte Helmert, Blai Bonet
Reasoning with Probabilistic Ontologies PDF
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Max Is More than Min: Solving Maximization Problems with Heuristic Search PDF
Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml
Speedy versus Greedy Search PDF
Christopher Makoto Wilt, Wheeler Ruml

Doctoral Consortium

Advances in Nonparametric Hypothesis Testing PDF
Aaditya Ramdas
Efficient Methods for Multi-Objective Decision-Theoretic Planning PDF
Diederik Marijn Roijers
Automated Agents for Advice Provision PDF
Ariel Rosenfeld


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
CoBots: Robust Symbiotic Autonomous Mobile Service Robots PDF
Manuela Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal