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

Invited Talks and Research Excellence Paper

Open Information Extraction: The Second Generation PDF
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 PDF
Yair Zick, Alexander Skopalik, Edith Elkind
Hustling in Repeated Zero-Sum Games with Imperfect Execution PDF
Christopher Archibald, Yoav Shoham
Dynamics of Profit-Sharing Games PDF
John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev
Optimal Partitions in Additively Separable Hedonic Games PDF
Haris Aziz, Felix Brandt, Hans Georg Seedig
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions PDF
Felix Brandt, Markus Brill, Hans Georg Seedig
Modeling the Emergence and Convergence of Norms PDF
Logan Conrad Brooks, Wayne Iba, Sandip Sen
Trust Decision-Making in Multi-Agent Systems PDF
Chris Burnett, Timothy J. Norman, Katia Sycara
Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion PDF
Edith Elkind, Jérôme Lang, Abdallah Saffidine
On the Complexity of the Core over Coalition Structures PDF
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Considerate Equilibrium PDF
Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking
Rigging Tournament Brackets for Weaker Players PDF
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 PDF
Nathan R. Sturtevant, Vadim Bulitko
Emergence and Stability of Social Conventions in Conflict Situations PDF
Toshiharu Sugawara
Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization PDF
Pingzhong Tang, Tuomas Sandholm
Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance PDF
Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte
Social Instruments for Robust Convention Emergence PDF
Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen

Constraints, Satisfiability, and Search

Depth-Driven Circuit-Level Stochastic Local Search for SAT PDF
Anton Belov, Matti Järvisalo, Zbigniew Stachniak
Symmetries and Lazy Clause Generation PDF
Geoffrey Chu, Maria Garcia de la Banda, Chris Mears, Peter J. Stuckey
Kernels for Global Constraints PDF
Serge Gaspers, Stefan Szeider
Minimization for Generalized Boolean Formulas PDF
Edith Hemaspaandra, Henning Schnoor
Constraint Programming on Infinite Data Streams PDF
A. Lallouet, Y. C. Law, J. H. M. Lee, C. F. K. Siu
Minimum Satisfiability and Its Applications PDF
Chu-Min Li, Zhu Zhu, Felip Manya, Laurent Simon
Large Hinge Width on Sparse Random Hypergraphs PDF
Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu
Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search PDF
Baba Satomi, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo
The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding PDF
Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner
Complete Algorithms for Cooperative Pathfinding Problems PDF
Trevor Scott Standley, Richard Korf
Rational Deployment of CSP Heuristics PDF
David Tolpin, Solomon Eyal Shimony

Knowledge Representation, Reasoning, and Logic

Query Reasoning on Trees with Types, Interleaving, and Counting PDF
Everardo Barcenas, Pierre Geneves, Nabil Layaida, Alan Schmitt
On the Complexity of EL with Defeasible Inclusions PDF
Piero A. Bonatti, Marco Faella, Luigi Sauro
Containment of Regular Path Queries under Description Logic Constraints PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Defeasible Inheritance-Based Description Logics PDF
Umberto Straccia, Giovanni Casini
Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification PDF
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Backdoors to Tractable Answer-Set Programming PDF
Johannes Klaus Fichte, Stefan Szeider
Belief Management for High-Level Robot Programs PDF
Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein
Belief Base Rationalization for Propositional Merging PDF
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind
Lost in Translation: Language Independence in Propositional Logic — Application to Belief Revision and Belief Merging PDF
Pierre Marquis, Nicolas Schwind
Augmenting Tractable Fragments of Abstract Argumentation PDF
Sebastian Ordyniak, Stefan Szeider
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ PDF
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Dishonest Reasoning by Abduction PDF
Chiaki Sakama
A Logical Formulation for Negotiation Among Dishonest Agents PDF
Chiaki Sakama, Son Cao Tran, Enrico Pontelli
Description Logics and Fuzzy Probability PDF
Lutz Schröder, Dirk Pattinson
Well-Supported Semantics for Description Logic Programs PDF
Yi-Dong Shen
Computing Minimum-Cardinality Diagnoses by Model Relaxation PDF
Sajjad Ahmed Siddiqi
Consequence-Based Reasoning beyond Horn Ontologies PDF
František Simančík, Yevgeny Kazakov, Ian Horrocks
Beth Definability in Expressive Description Logics PDF
Balder ten Cate, Enrico Franconi, İnanç Seylan

Machine Learning

Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter PDF
Babak Ahmadi, Kristian Kersting, Scott Sanner
Distance Metric Learning under Covariate Shift PDF
Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang
Concept Labeling: Building Text Classifiers with Minimal Supervision PDF
Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D Lawrence
Flexible, High Performance Convolutional Neural Networks for Image Classification PDF
Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber
Kernel-Based Selective Ensemble Learning for Streams of Trees PDF
Valerio Grossi, Alessandro Sperduti
Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph PDF
Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang
Gaussianity Measures for Detecting the Direction of Causal Time Series PDF
José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez
Incremental Slow Feature Analysis PDF
Varun Raj Kompella, Matthew Luciw, Juergen Schmidhuber
Modular Community Detection in Networks PDF
Wenye Li, Dale Schuurmans
Combining Supervised and Unsupervised Models Via Unconstrained Probabilistic Embedding PDF
Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen
Agent-Oriented Incremental Team and Activity Recognition PDF
Daniele Masato, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara
Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach PDF
Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude Shavlik
Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems PDF
Tatdow Pansombut, William Hendrix, Zekai J. Gao, Brent E. Harrison, Nagiza F. Samatova
Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems PDF
Mark B. Ring, Tom Schaul
Domain Adaptation with Ensemble of Feature Groups PDF
Rajhans Yih Samdani, Wen-tau Yih
Discovering Deformable Motifs in Continuous Time Series Data PDF
Suchi Saria, Andrew Duchi, Daphne Koller
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling PDF
Taisuke Sato
Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction PDF
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 PDF
Hossam Sharara, Lise Getoor, Myra Norton
Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison and a Fast Algorithm PDF
Kilho Shin, Danny Fernandes, Seiya Miyazaki
Active Online Classification Via Information Maximization PDF
Noam Slonim, Elad Yom-Tov, Koby Crammer
Angular Decomposition PDF
Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang
Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification PDF
Eleftherios Spyromitros-Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis Vlahavas
L2,1-Norm Regularized Discriminative Feature Selection for Unsupervised PDF
Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou

Multidisciplinary Topics And Applications

Finding "Unexplained" Activities in Video PDF
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V.S. Subrahmanian
A Hierarchical Architecture for Adaptive Brain-Computer Interfacing PDF
Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao
The Role of Intention Recognition in the Evolution of Cooperative Behavior PDF
The Anh Han, Luis Moniz Pereira, Francisco C. Santos
Multi-Select Faceted Navigation Based on Minimum Description Length Principle PDF
Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen

Natural-Language Processing

Short Text Classification Improved by Learning Multi-Granularity Topics PDF
Mengen Chen, Xiaoming Jin, Dou Shen
Entity Linking with Effective Acronym Expansion, Instance Selection and Topic Modeling PDF
Wei Zhang, Yan-Chuan Sim, Jian Su, Chew-Lim Tan

Planning and Scheduling

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation PDF
Stefano Ermon, Jon Conrad, Carla Gomes, Bart Selman
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem PDF
Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith
Replanning in Domains with Partial Information and Sensing Actions PDF
Guy Shani, Ronen Brafman
Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion PDF
Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato
On the Effectiveness of CNF and DNF Representations in Contingent Planning PDF
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 PDF
Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen

Uncertainty in AI

Resolute Choice in Sequential Decision Problems with Multiple Priors PDF
Hélène Fargier, Gildas Jeantet, Olivier Spanjaard
Pairwise Decomposition for Combinatorial Optimization in Graphical Models PDF
Aurélie Favier, Simon de Givry, Andrès Legarra, Thomas Schiex
Log-Linear Description Logics PDF
Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt
Bayesian Chain Classifiers for Multidimensional Classification PDF
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? PDF
Bernardo Cuenca Grau, Giorgos Stoilos
The Modular Structure of an Ontology: Atomic Decomposition PDF
Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider
Fashion Coordinates Recommender System Using Photographs from Fashion Magazines PDF
Tomoharu Iwata, Shinji Watanabe, Hiroshi Sawada
Short Text Conceptualization Using a Probabilistic Knowledgebase PDF
Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen
Source-Selection-Free Transfer Learning PDF
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 PDF
S.R.K. Branavan, David Silver, Regina Barzilay
Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins PDF
Bao Tu Ho, Chi Hieu Dam, Ayumu Sugiyama
A Real-Time Opponent Modeling System for Rush Football PDF
Kennard Laviers, Gita Sukthankar
An Agent Architecture for Prognostic Reasoning Assistance PDF
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 PDF
Ismael Pascual-Nieto, Olga C. Santos, Diana Perez-Marin, Jesus G. Boticario
Integrating Learning into a BDI Agent for Environments with Changing Dynamics PDF
Dhirendra Singh, Sebastian Sardina, Lin Padgham, Geoff James
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems PDF
Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla Gomes, Yrjo Grohn
Kinship Verification Through Transfer Learning PDF
Siyu Xia, Ming Shao, Yun Fu
Cross-People Mobile-Phone Based Activity Recognition PDF
Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu
CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method PDF
Yabin Zheng, Chen Li, Maosong Sun

Best Paper Track

Community Detection in Social Networks Through Community Formation Games PDF
Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems PDF
Stefano Ermon, Carla Gomes, Bart Selman
picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices PDF
Andrew Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita
Finite Model Computation via Answer Set Programming PDF
Martin Gebser, Orkunt Sabuncu, Torsten Schaub
Recommender Systems: Missing Data and Statistical Model Estimation PDF
Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney
GUARDS — Innovative Application of Game Theory for National Airport Security PDF
James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald
Theoretical Justification of Popular Link Prediction Heuristics PDF
Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore
Evaluation of Group Profiling Strategies PDF
Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan
Connecting the Dots Between News Articles PDF
Dafna Shahaf, Carlos Guestrin
Learning Linear and Kernel Predictors with the 0-1 Loss Function PDF
Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan
Adaptive Data Compression for Robot Perception PDF
Mike Smith, Ingmar Posner, Paul M Newman

Doctoral Consortium

Regret Minimization in Multiplayer Extensive Games PDF
Richard Geoffrey Gibson, Duane Szafron
Talking about Trust in Heterogeneous Multi-Agent Systems PDF
Andrew Koster, Marco Schorlemmer, Jordi Sabater-Mir
Agent-Based Negotiation Teams PDF
Victor Sanchez-Anguix, Vicente Julian, Ana Garcia-Fornes
A Method for Evaluating and Standardizing Ontologies PDF
Ali Patrice Seyed
Towards a Model-Centric Cognitive Architecture for Service Robots PDF
Andreas Steck
Sensorimotor Models of Space and Object Geometry PDF
Jeremy Stober
Multiagent Hierarchical Learning from Demonstration PDF
Keith Sullivan