Invited Talks and Research Excellence Paper
| Artificial Intelligence and Human Thinking | |
| Robert Anthony Kowalski |
Agent-Based and Multiagent Systems
| Manipulating Boolean Games Through Communication | |
| John Grant, Sarit Kraus, Michael John Wooldridge, Inon Zuckerman |
| A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions | |
| Alexander Kleiner, Bernhard Nebel, Vittorio Amos Ziparo |
| Security Games with Multiple Attacker Resources | |
| Dmytro Korzhyk, Vincent Conitzer, Ronald Parr |
| Concise Characteristic Function Representations in Coalitional Games Based on Agent Types | |
| Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo |
| Improving Resource Allocation Strategy Against Human Adversaries in Security Games | |
| Rong Yang, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe, Richard John |
| Generalized Reaction Functions for Solving Complex-Task Allocation Problems | |
| Xiaoming Zheng, Sven Koenig |
Constraints, Satisfiability, and Search
| Tractable Set Constraints | |
| Manuel Bodirsky, Martin Hils, Alex Krimkevich |
| Evaluations of Hash Distributed A* in Optimal Sequence Alignment | |
| Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe |
| A Hybrid Recursive Multi-Way Number Partitioning Algorithm | |
| Richard Earl Korf |
| Complete Algorithms for Cooperative Pathfinding Problems | |
| Trevor Scott Standley, Richard Korf |
Knowledge Representation, Reasoning, and Logic
| Succinctness of Epistemic Languages | |
| Tim French, Wiebe van der Hoek, Petar Iliev, Barteld Kooi |
| A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets | |
| Gabriele Kern-Isberner, Patrick Kruempelmann |
| A Logic for Causal Inference in Time Series with Discrete and Continuous Variables | |
| Samantha Kleinberg |
| Belief Base Rationalization for Propositional Merging | |
| Sébastien Konieczny, Pierre Marquis, Nicolas Schwind |
| On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces | |
| Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| Extending Decidable Existential Rules by Joining Acyclicity and Guardedness | |
| Markus Krötzsch, Sebastian Rudolph |
| Consequence-Based Reasoning beyond Horn Ontologies | |
| František Simančík, Yevgeny Kazakov, Ian Horrocks |
Machine Learning
| Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter | |
| Babak Ahmadi, Kristian Kersting, Scott Sanner |
| Learning Decision Rules from Data Streams | |
| João Gama, Petr Kosina |
| Adaptation of a Mixture of Multivariate Bernoulli Distributions | |
| Ankur Kamthe, Miguel Angel Carreira-Perpinan, Alberto E. Cerpa |
| Revisiting Numerical Pattern Mining with Formal Concept Analysis | |
| Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli |
| Activity Recognition with Finite State Machines | |
| Wesley Kerr, Anh Tran, Paul Cohen |
| Incremental Slow Feature Analysis | |
| Varun Raj Kompella, Matthew Luciw, Juergen Schmidhuber |
| Learning Hash Functions for Cross-View Similarity Search | |
| Shaishav Kumar, Raghavendra Udupa |
| Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach | |
| Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude Shavlik |
| Discovering Deformable Motifs in Continuous Time Series Data | |
| Suchi Saria, Andrew Duchi, Daphne Koller |
| 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 |
| Bayesian Policy Search with Policy Priors | |
| David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie P. Kaelbling, Joshua B. Tenenbaum |
Multidisciplinary Topics And Applications
| Just an Artifact: Why Machines are Perceived as Moral Agents | |
| Joanna J. Bryson, Philip P. Kime |
| Using Multiple Models to Understand Data | |
| Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan |
| Active Graph Reachability Reduction for Network Security and Software Engineering | |
| Alice X. Zheng, John Dunagan, Ashish Kapoor |
Natural-Language Processing
| Learning Cause Identifiers from Annotator Rationales | |
| Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Rahman Khan |
| Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information | |
| Fang Kong, Guodong Zhou |
Planning and Scheduling
| DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes | |
| Jennifer L. Barry, Leslie Pack Kaelbling, Tomas Lozano-Perez |
| Point-Based Value Iteration for Constrained POMDPs | |
| Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart |
Robotics and Vision
| Aesthetic Guideline Driven Photography by Robots | |
| Raghudeep Gadde, Kamalakar Karlapalem |
Uncertainty in AI
| Randomized Sensing in Adversarial Environments | |
| Andreas Krause, Alex Roper, Daniel Golovin |
| Scalable Multiagent Planning Using Probabilistic Inference | |
| Akshat Kumar, Shlomo Zilberstein, Marc Toussaint |
Web and Knowledge-Based Information Systems
| CCR — A Content-Collaborative Reciprocal Recommender for Online Dating | |
| Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Pizzato, Judy Kay, Tomasz Rej |
| Fast Algorithm for Affinity Propagation | |
| Yasuhiro Fujiwara, Go Irie, Tomoe Kitahara |
| Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles | |
| Aaron Gerow, Mark T Keane |
| Context Sensitive Topic Models for Author Influence in Document Networks | |
| Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles |
| Multi-Perspective Linking of News Articles within a Repository | |
| Arpit Khurdiya, Lipika Dey, Nidhi Raj, Sk. Mirajul Haque |
| Efficient Searching Top-k Semantic Similar Words | |
| Zhenglu Yang, Masaru Kitsuregawa |
Special Track on Integrated and Embedded AI
| A New Search Engine Integrating Hierarchical Browsing and Keyword Search | |
| Da Kuang, Xiao Li, Charles X. Ling |
| Resource-Bounded Crowd-Sourcing of Commonsense Knowledge | |
| Yen-Ling Kuo, Jane Yung-jen Hsu |
| A System for Providing Differentiated QoS in Retail Banking | |
| Sameep Mehta, Girish Chafle, Gyana Parija, Vikas Kedia |
Best Paper Track
| Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage | |
| Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian |
| Incentive Engineering for Boolean Games | |
| Ulle Endriss, Sarit Kraus, Jerome Lang, Michael John Wooldridge |
| Reinforcement Learning to Adjust Robot Movements to New Situations | |
| Jens Kober, Erhan Oztop, Jan Peters |
| The Combined Approach to Ontology-Based Data Access | |
| Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| Reasoning and Proofing Services for Semantic Web Agents | |
| Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades |
| Efficient Rule-Based Inferencing for OWL EL | |
| Markus Krötzsch |
| Flexible Tree Matching | |
| Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer |
| GUARDS — Innovative Application of Game Theory for National Airport Security | |
| James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald |
| Evaluation of Group Profiling Strategies | |
| Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan |
Doctoral Consortium
| Towards Scalable MDP Algorithms | |
| Andrey Kolobov |
| Talking about Trust in Heterogeneous Multi-Agent Systems | |
| Andrew Koster, Marco Schorlemmer, Jordi Sabater-Mir |
| RDFKB: A Semantic Web Knowledge Base | |
| James P. McGlothlin, Latifur Khan, Bhavani Thuraisingham |