Invited Talks and Research Excellence Paper
| Open Information Extraction: The Second Generation | |
| Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, - Mausam |
Agent-Based and Multiagent Systems
| The Shapley Value as a Function of the Quota in Weighted Voting Games | |
| Yair Zick, Alexander Skopalik, Edith Elkind |
| Hustling in Repeated Zero-Sum Games with Imperfect Execution | |
| Christopher Archibald, Yoav Shoham |
| Dynamics of Profit-Sharing Games | |
| John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev |
| Optimal Partitions in Additively Separable Hedonic Games | |
| Haris Aziz, Felix Brandt, Hans Georg Seedig |
| On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions | |
| Felix Brandt, Markus Brill, Hans Georg Seedig |
| Modeling the Emergence and Convergence of Norms | |
| Logan Conrad Brooks, Wayne Iba, Sandip Sen |
| Trust Decision-Making in Multi-Agent Systems | |
| Chris Burnett, Timothy J. Norman, Katia Sycara |
| Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion | |
| Edith Elkind, Jérôme Lang, Abdallah Saffidine |
| On the Complexity of the Core over Coalition Structures | |
| Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
| Considerate Equilibrium | |
| Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking |
| Rigging Tournament Brackets for Weaker Players | |
| Isabelle Stanton, Virginia Vassilevska Williams |
| Learning Where You Are Going and From Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search | |
| Nathan R. Sturtevant, Vadim Bulitko |
| Emergence and Stability of Social Conventions in Conflict Situations | |
| Toshiharu Sugawara |
| Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization | |
| Pingzhong Tang, Tuomas Sandholm |
| Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance | |
| Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte |
| Social Instruments for Robust Convention Emergence | |
| Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen |
Constraints, Satisfiability, and Search
| Depth-Driven Circuit-Level Stochastic Local Search for SAT | |
| Anton Belov, Matti Järvisalo, Zbigniew Stachniak |
| Symmetries and Lazy Clause Generation | |
| Geoffrey Chu, Maria Garcia de la Banda, Chris Mears, Peter J. Stuckey |
| Kernels for Global Constraints | |
| Serge Gaspers, Stefan Szeider |
| Minimization for Generalized Boolean Formulas | |
| Edith Hemaspaandra, Henning Schnoor |
| Constraint Programming on Infinite Data Streams | |
| A. Lallouet, Y. C. Law, J. H. M. Lee, C. F. K. Siu |
| Minimum Satisfiability and Its Applications | |
| Chu-Min Li, Zhu Zhu, Felip Manya, Laurent Simon |
| Large Hinge Width on Sparse Random Hypergraphs | |
| Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu |
| Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search | |
| Baba Satomi, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo |
| The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding | |
| Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner |
| Complete Algorithms for Cooperative Pathfinding Problems | |
| Trevor Scott Standley, Richard Korf |
| Rational Deployment of CSP Heuristics | |
| David Tolpin, Solomon Eyal Shimony |
Knowledge Representation, Reasoning, and Logic
| Query Reasoning on Trees with Types, Interleaving, and Counting | |
| Everardo Barcenas, Pierre Geneves, Nabil Layaida, Alan Schmitt |
| On the Complexity of EL with Defeasible Inclusions | |
| Piero A. Bonatti, Marco Faella, Luigi Sauro |
| Containment of Regular Path Queries under Description Logic Constraints | |
| Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| Defeasible Inheritance-Based Description Logics | |
| Umberto Straccia, Giovanni Casini |
| Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification | |
| Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| Backdoors to Tractable Answer-Set Programming | |
| Johannes Klaus Fichte, Stefan Szeider |
| Belief Management for High-Level Robot Programs | |
| Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein |
| Belief Base Rationalization for Propositional Merging | |
| Sébastien Konieczny, Pierre Marquis, Nicolas Schwind |
| Lost in Translation: Language Independence in Propositional Logic — Application to Belief Revision and Belief Merging | |
| Pierre Marquis, Nicolas Schwind |
| Augmenting Tractable Fragments of Abstract Argumentation | |
| Sebastian Ordyniak, Stefan Szeider |
| Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ | |
| Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| Dishonest Reasoning by Abduction | |
| Chiaki Sakama |
| A Logical Formulation for Negotiation Among Dishonest Agents | |
| Chiaki Sakama, Son Cao Tran, Enrico Pontelli |
| Description Logics and Fuzzy Probability | |
| Lutz Schröder, Dirk Pattinson |
| Well-Supported Semantics for Description Logic Programs | |
| Yi-Dong Shen |
| Computing Minimum-Cardinality Diagnoses by Model Relaxation | |
| Sajjad Ahmed Siddiqi |
| Consequence-Based Reasoning beyond Horn Ontologies | |
| František Simančík, Yevgeny Kazakov, Ian Horrocks |
| Beth Definability in Expressive Description Logics | |
| Balder ten Cate, Enrico Franconi, İnanç Seylan |
Machine Learning
| Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter | |
| Babak Ahmadi, Kristian Kersting, Scott Sanner |
| Distance Metric Learning under Covariate Shift | |
| Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang |
| Concept Labeling: Building Text Classifiers with Minimal Supervision | |
| Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D Lawrence |
| Flexible, High Performance Convolutional Neural Networks for Image Classification | |
| Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber |
| Kernel-Based Selective Ensemble Learning for Streams of Trees | |
| Valerio Grossi, Alessandro Sperduti |
| Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph | |
| Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang |
| Gaussianity Measures for Detecting the Direction of Causal Time Series | |
| José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez |
| Incremental Slow Feature Analysis | |
| Varun Raj Kompella, Matthew Luciw, Juergen Schmidhuber |
| Modular Community Detection in Networks | |
| Wenye Li, Dale Schuurmans |
| Combining Supervised and Unsupervised Models Via Unconstrained Probabilistic Embedding | |
| Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen |
| Agent-Oriented Incremental Team and Activity Recognition | |
| Daniele Masato, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara |
| Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach | |
| Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude Shavlik |
| Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems | |
| Tatdow Pansombut, William Hendrix, Zekai J. Gao, Brent E. Harrison, Nagiza F. Samatova |
| Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems | |
| Mark B. Ring, Tom Schaul |
| Domain Adaptation with Ensemble of Feature Groups | |
| Rajhans Yih Samdani, Wen-tau Yih |
| Discovering Deformable Motifs in Continuous Time Series Data | |
| Suchi Saria, Andrew Duchi, Daphne Koller |
| A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling | |
| Taisuke Sato |
| Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction | |
| Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Frederick Semazzi, Alok Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova |
| Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders | |
| Hossam Sharara, Lise Getoor, Myra Norton |
| Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison and a Fast Algorithm | |
| Kilho Shin, Danny Fernandes, Seiya Miyazaki |
| Active Online Classification Via Information Maximization | |
| Noam Slonim, Elad Yom-Tov, Koby Crammer |
| Angular Decomposition | |
| Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang |
| Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification | |
| Eleftherios Spyromitros-Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis Vlahavas |
| L2,1-Norm Regularized Discriminative Feature Selection for Unsupervised | |
| Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou |
Multidisciplinary Topics And Applications
| Finding "Unexplained" Activities in Video | |
| Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V.S. Subrahmanian |
| A Hierarchical Architecture for Adaptive Brain-Computer Interfacing | |
| Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao |
| The Role of Intention Recognition in the Evolution of Cooperative Behavior | |
| The Anh Han, Luis Moniz Pereira, Francisco C. Santos |
| Multi-Select Faceted Navigation Based on Minimum Description Length Principle | |
| Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen |
Natural-Language Processing
| Short Text Classification Improved by Learning Multi-Granularity Topics | |
| Mengen Chen, Xiaoming Jin, Dou Shen |
| Entity Linking with Effective Acronym Expansion, Instance Selection and Topic Modeling | |
| Wei Zhang, Yan-Chuan Sim, Jian Su, Chew-Lim Tan |
Planning and Scheduling
| Risk-Sensitive Policies for Sustainable Renewable Resource Allocation | |
| Stefano Ermon, Jon Conrad, Carla Gomes, Bart Selman |
| Iterative Flattening Search for the Flexible Job Shop Scheduling Problem | |
| Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith |
| Replanning in Domains with Partial Information and Sensing Actions | |
| Guy Shani, Ronen Brafman |
| Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion | |
| Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato |
| On the Effectiveness of CNF and DNF Representations in Contingent Planning | |
| Son Thanh To, Enrico Pontelli, Tran Cao Son |
Robotics and Vision
| Robotic Object Detection: Learning to Improve the Classifiers using Sparse Graphs for Path Planning | |
| Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen |
Uncertainty in AI
| Resolute Choice in Sequential Decision Problems with Multiple Priors | |
| Hélène Fargier, Gildas Jeantet, Olivier Spanjaard |
| Pairwise Decomposition for Combinatorial Optimization in Graphical Models | |
| Aurélie Favier, Simon de Givry, Andrès Legarra, Thomas Schiex |
| Log-Linear Description Logics | |
| Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt |
| Bayesian Chain Classifiers for Multidimensional Classification | |
| Julio Cesar Zaragoza, Enrique Sucar, Eduardo Morales, Concha Bielza, Pedro Larrañaga |
Web and Knowledge-Based Information Systems
| What to Ask to an Incomplete Semantic Web Reasoner? | |
| Bernardo Cuenca Grau, Giorgos Stoilos |
| The Modular Structure of an Ontology: Atomic Decomposition | |
| Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider |
| Fashion Coordinates Recommender System Using Photographs from Fashion Magazines | |
| Tomoharu Iwata, Shinji Watanabe, Hiroshi Sawada |
| Short Text Conceptualization Using a Probabilistic Knowledgebase | |
| Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen |
| Source-Selection-Free Transfer Learning | |
| Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang |
Special Track on Integrated and Embedded AI
| Non-Linear Monte-Carlo Search in Civilization II | |
| S.R.K. Branavan, David Silver, Regina Barzilay |
| Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins | |
| Bao Tu Ho, Chi Hieu Dam, Ayumu Sugiyama |
| A Real-Time Opponent Modeling System for Rush Football | |
| Kennard Laviers, Gita Sukthankar |
| An Agent Architecture for Prognostic Reasoning Assistance | |
| Jean Oh, Felipe Meneguzzi, Katia Sycara, Timothy J Norman |
| Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling and Recommendations Based on Human Computer Interaction and Data Mining | |
| Ismael Pascual-Nieto, Olga C. Santos, Diana Perez-Marin, Jesus G. Boticario |
| Integrating Learning into a BDI Agent for Environments with Changing Dynamics | |
| Dhirendra Singh, Sebastian Sardina, Lin Padgham, Geoff James |
| Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems | |
| Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla Gomes, Yrjo Grohn |
| Kinship Verification Through Transfer Learning | |
| Siyu Xia, Ming Shao, Yun Fu |
| Cross-People Mobile-Phone Based Activity Recognition | |
| Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu |
| CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method | |
| Yabin Zheng, Chen Li, Maosong Sun |
Best Paper Track
| Community Detection in Social Networks Through Community Formation Games | |
| Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang |
| A Flat Histogram Method for Computing the Density of States of Combinatorial Problems | |
| Stefano Ermon, Carla Gomes, Bart Selman |
| picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices | |
| Andrew Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita |
| Finite Model Computation via Answer Set Programming | |
| Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| Recommender Systems: Missing Data and Statistical Model Estimation | |
| Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney |
| GUARDS — Innovative Application of Game Theory for National Airport Security | |
| James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald |
| Theoretical Justification of Popular Link Prediction Heuristics | |
| Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore |
| Evaluation of Group Profiling Strategies | |
| Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan |
| Connecting the Dots Between News Articles | |
| Dafna Shahaf, Carlos Guestrin |
| Learning Linear and Kernel Predictors with the 0-1 Loss Function | |
| Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan |
| Adaptive Data Compression for Robot Perception | |
| Mike Smith, Ingmar Posner, Paul M Newman |
Doctoral Consortium
| Regret Minimization in Multiplayer Extensive Games | |
| Richard Geoffrey Gibson, Duane Szafron |
| Talking about Trust in Heterogeneous Multi-Agent Systems | |
| Andrew Koster, Marco Schorlemmer, Jordi Sabater-Mir |
| Agent-Based Negotiation Teams | |
| Victor Sanchez-Anguix, Vicente Julian, Ana Garcia-Fornes |
| A Method for Evaluating and Standardizing Ontologies | |
| Ali Patrice Seyed |
| Towards a Model-Centric Cognitive Architecture for Service Robots | |
| Andreas Steck |
| Sensorimotor Models of Space and Object Geometry | |
| Jeremy Stober |
| Multiagent Hierarchical Learning from Demonstration | |
| Keith Sullivan |