Artificial Intelligence and the Web
| Combining Hashing and Abstraction in Sparse High Dimensional Feature Spaces | |
| Cornelia Caragea, Adrian Silvescu, Prasenjit Mitra |
| Querying Linked Ontological Data through Distributed Summarization | |
| Achille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan |
| Predicting Disease Transmission from Geo-Tagged Micro-Blog Data | |
| Adam Sadilek, Henry Kautz, Vincent Silenzio |
| A Data-Driven Approach to Question Subjectivity Identification in Community Question Answering | |
| Tom Chao Zhou, Xiance Si, Edward Y. Chang, Irwin King, Michael R. Lyu |
Cognitive Systems
| Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements | |
| Evan A. Krause, Paul Schermerhorn, Matthias Scheutz |
| Using Expectations to Drive Cognitive Behavior | |
| Unmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert |
Computational Sustainability and Artificial Intelligence
| The Automated Vacuum Waste Collection Optimization Problem | |
| Ramón Béjar, César Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal |
| MOMDPs: A Solution for Modelling Adaptive Management Problems | |
| Iadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Regis Sabbadin, Olivier Buffet |
| Learning Non-Stationary Space-Time Models for Environmental Monitoring | |
| Sahil Garg, Amarjeet Singh, Fabio Ramos |
| Sensing the Air We Breathe — The OpenSense Zurich Dataset | |
| Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel |
| Sustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks | |
| Neo D. Martinez, Perrine Tonnin, Barbara Bauer, Rosalyn C. Rael, Rahul Singh, Sangyuk Yoon, Ilmi Yoon, Jennifer A. Dunne |
| Coupling Spatiotemporal Disease Modeling with Diagnosis | |
| Martin Gordon Mubangizi, Caterine Ikae, Athina Spiliopoulou, John A. Quinn |
| Prediction and Fault Detection of Environmental Signals with Uncharacterised Faults | |
| Michael Alan Osborne, Roman Garnett, Kevin Swersky, Nando de Freitas |
| Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control | |
| Gwen Spencer |
| Scheduling Conservation Designs via Network Cascade Optimization | |
| Shan Xue, Alan Fern, Daniel Sheldon |
Constraints, Satisfiability, and Search
| Filtering Decomposable Global Cost Functions | |
| David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex |
| Configuration Checking with Aspiration in Local Search for SAT | |
| Shaowei Cai, Kaile Su |
| Two New Local Search Strategies for Minimum Vertex Cover | |
| Shaowei Cai, Kaile Su, Abdul Sattar |
| Partial-Expansion A* with Selective Node Generation | |
| Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan Sturtevant, Jonathan Schaeffer, Robert Holte |
| Don't Be Strict in Local Search! | |
| Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider |
| Non-Model-Based Search Guidance for Set Partitioning Problems | |
| Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann |
| From Streamlined Combinatorial Search to Efficient Constructive Procedures | |
| Ronan Le Bras, Carla Gomes, Bart Selman |
| An Efficient Higher-Order Consistency Algorithm for Table Constraints | |
| Anastasia Paparrizou, Kostas Stergiou |
| Trap Avoidance in Local Search Using Pseudo-Conflict Learning | |
| Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar |
| Alpha-Beta Pruning for Games with Simultaneous Moves | |
| Abdallah Saffidine, Hilmar Finnsson, Michael Buro |
| Conflict-Based Search For Optimal Multi-Agent Path Finding | |
| Guni Sharon, Roni Stern, Ariel Felner, Nathan Sturtevant |
| MCTS Based on Simple Regret | |
| David Tolpin, Solomon Eyal Shimony |
Knowledge-Based Information Systems
| On Completeness Classes for Query Evaluation on Linked Data | |
| Andreas Harth, Sebastian Speiser |
| Modeling the Evolution of Knowledge in Learning Systems | |
| Abhishek Sharma, Kenneth D. Forbus |
Knowledge Representation and Reasoning
| Query Rewriting for Horn-SHIQ Plus Rules | |
| Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao |
| On Finding Optimal Polytrees | |
| Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider |
| Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall | |
| Xiaowei Huang, Kaile Su, Chenyi Zhang |
| Benchmarking Ontology-Based Query Rewriting Systems | |
| Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau |
| Compiling Model-Based Diagnosis to Boolean Satisfaction | |
| Amit Metodi, Roni Stern, Meir Kalech, Mike Codish |
| Far Out: Predicting Long-Term Human Mobility | |
| Adam Sadilek, John Krumm |
| FLP Semantics Without Circular Justifications for General Logic Programs | |
| Yi-Dong Shen, Kewen Wang |
| Exploring the Duality in Conflict-Directed Model-Based Diagnosis | |
| Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory Provan |
Machine Learning
| Classification of Sparse Time Series via Supervised Matrix Factorization | |
| Josif Grabocka, Alexandros Nanopoulos, Lars Schmidt-Thieme |
| Learning the Kernel Matrix with Low-Rank Multiplicative Shaping | |
| Tomer Levinboim, Fei Sha |
| Transfer Learning with Graph Co-Regularization | |
| Mingsheng Long, Jianmin Wang, Guiguang Ding, Dou Shen, Qiang Yang |
| Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition | |
| Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, Peter Stone |
| Rule Ensemble Learning Using Hierarchical Kernels in Structured Output Spaces | |
| Naveen Nair, Amrita Saha, Ganesh Ramakrishnan, Shonali Krishnaswamy |
| Context Tree Maximizing | |
| Phuong Minh Nguyen, Peter Sunehag, Marcus Hutter |
| Learning Behavior Models for Hybrid Timed Systems | |
| Oliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander Maier, Hans Kleine Büning |
| A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem | |
| Andrew M. Sutton, Frank Neumann |
| Investigating the Effectiveness of Laplacian-Based Kernels in Hub Reduction | |
| Ikumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto, Marco Saerens |
| Approximate Policy Iteration with Linear Action Models | |
| Hengshuai Yao, Csaba Szepesvari |
Multiagent Systems
| Security Games with Limited Surveillance | |
| Bo An, David Kempe, Christopher Kiekintveld, Eric Shieh, Satinder Singh, Milind Tambe, Yevgeniy Vorobeychik |
| A Multivariate Complexity Analysis of Lobbying in Multiple Referenda | |
| Robert Bredereck, Jiehua Chen, Sepp Hartung, Rolf Niedermeier, Ondřej Suchý, Stefan Kratsch |
| Dynamic Matching via Weighted Myopia with Application to Kidney Exchange | |
| John P. Dickerson, Ariel D. Procaccia, Tuomas Sandholm |
| Generalized Sampling and Variance in Counterfactual Regret Minimization | |
| Richard Gibson, Marc Lanctot, Neil Burch, Duane Szafron, Michael Bowling |
| Tree-Based Solution Methods for Multiagent POMDPs with Delayed Communication | |
| Frans Adriaan Oliehoek, Matthijs T. J. Spaan |
| Negotiation in Exploration-Based Environment | |
| Israel Sofer, David Sarne, Avinatan Hassidim |
| Optimal Auctions for Spiteful Bidders | |
| Pingzhong Tang, Tuomas Sandholm |
| Computing Stackelberg Equilibria in Discounted Stochastic Games | PDF Corrected PDF |
| Yevgeniy Vorobeychik, Satinder Singh |
Multidisciplinary Topics
| An Object-Based Bayesian Framework for Top-Down Visual Attention | |
| Ali Borji, Dicky N. Sihite, Laurent Itti |
| Three Controversial Hypotheses Concerning Computation in the Primate Cortex | |
| Thomas Dean, Greg S. Corrado, Jonathon Shlens |
| Identifying Adverse Drug Events by Relational Learning | |
| David Page, Vitor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy Peissig, Michael Caldwell |
| HyperPlay: A Solution to General Game Playing with Imperfect Information | |
| Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher |
| Unsupervised Detection of Music Boundaries by Time Series Structure Features | |
| Joan Serrà, Meinard Müller, Peter Grosche, Josep Lluis Arcos |
| Automatically Generating Algebra Problems | |
| Rohit Singh, Sumit Gulwani, Sriram Rajamani |
| Cruising with a Battery-Powered Vehicle and Not Getting Stranded | |
| Sabine Storandt, Stefan Funke |
| Heart Rate Topic Models | |
| Alexander Van Esbroeck, Chih-Chun Chia, Zeeshan Syed |
Natural-Language Processing
| Using First-Order Logic to Compress Sentences | |
| Minlie Huang, Xing Shi, Feng Jin, Xiaoyan Zhu |
Reasoning about Plans, Processes, and Actions
| The Complexity of Planning Revisited — A Parameterized Analysis | |
| Christer Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider |
| Improving Hierarchical Planning Performance by the Use of Landmarks | |
| Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo |
| Incremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride Problems | |
| Zachary B. Rubinstein, Stephen F. Smith, Laura Barbulescu |
| POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing | |
| Carlos Sarraute, Olivier Buffet, Jörg Hoffmann |
| Symbolic Dynamic Programming for Continuous State and Action MDPs | |
| Zahra Zamani, Scott Sanner, Cheng Fang |
Reasoning Under Uncertainty
| A Multi-Path Compilation Approach to Contingent Planning | |
| Ronen Brafman, Guy Shani |
| I'm Doing as Well as I Can: Modeling People as Rational Finite Automata | |
| Joe Halpern, Rafael Pass, Lior Seeman |
| Using Sliding Windows to Generate Action Abstractions in Extensive-Form Games | |
| John Alexander Hawkin, Robert Holte, Duane Szafron |
| Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach | |
| Gildas Jeantet, Patrice Perny, Olivier Spanjaard |
| Symbolic Variable Elimination for Discrete and Continuous Graphical Models | |
| Scott Sanner, Ehsan Abbasnejad |
Robotics
| Efficient Optimization of Control Libraries | |
| Debadeepta Dey, Tian Yu Liu, Boris Sofman, James Andrew Bagnell |
| Mirror Perspective-Taking with a Humanoid Robot | |
| Justin Wildrick Hart, Brian Scassellati |
| Catch Me If You Can: Pursuit and Capture in Polygonal Environments with Obstacles | |
| Kyle Klein, Subhash Suri |
| Bayesian Unification of Sound Source Localization and Separation with Permutation Resolution | |
| Takuma Otsuka, Katsuhiko Ishiguro, Hiroshi Sawada, Hiroshi G. Okuno |
| Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information | |
| Gaurav Pandey, James R. McBride, Silvio Savarese, Ryan M. Eustice |
| Using the Web to Interactively Learn to Find Objects | |
| Mehdi Samadi, Thomas Kollar, Manuela Veloso |
| Model Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps | |
| Jörg Stückler, Sven Behnke |
Spotlight
| PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States | |
| Eric Anyung Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph DiRenzo, Ben Maule, Garrett Meyer |
| Planning as an Iterative Process | |
| David E. Smith |
| Heuristic Search Comes of Age | |
| Nathan R. Sturtevant, Ariel Felner, Maxim Likhachev, Wheeler Ruml |
Student Abstracts
| Failure Handling In a Planning Framework | |
| Sertac Karapinar, Sanem Sariel-Talay |
| CCE: A Coupled Framework of Clustering Ensembles | |
| Zhong She, Can Wang, Longbing Cao |
| A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video | |
| Young Chol Song, Henry Kautz |
| Learning Transformation Rules by Examples | |
| Bo Wu, Pedro Szekely, Craig A. Knoblock |
| Combining Probabilistic Planning and Logic Programming on Mobile Robots | |
| Shiqi Zhang, Forrest Sheng Bao, Mohan Sridharan |
Doctoral Consortium
| Large-Scale Mapping and Navigation in VirtualWorlds: Thesis Summary | |
| Katrina Samperi |